M | |
| make [Solver_dtc] |
A solver for a combination of theories from a dpll solver, an euf
solver and a list of theory solvers.
|
| make [Solver_dpllt] | |
| make [Solver_dpll] |
A solve strategy using the supplied DPLL transition system.
|
| make [Dpll] | |
| make [Dl.T] | |
| make [Cc] |
The EUF solver implements the theory solver API.
|