Structs§
- IntTheory
Iter - An iterator over the variants of IntTheory
- Matrix
Theory Iter - An iterator over the variants of MatrixTheory
- Smt
- A SolverAdaptor for interacting with SMT solvers, specifically Z3.
- Theory
Config - A collection of theories to use for encoding various CO AST constructs.
Enums§
- IntTheory
- The theory to use when encoding CO integers through the SMT solver adaptor.
- Matrix
Theory - The theory to use when encoding CO integers through the SMT solver adaptor.