Solver_api.dpll ->
Solver_api.theory -> Solver_api.theory list -> Solver_api.solver
Hosted by the SourceForge.net Logo* web site.
*Other names and brands may be claimed as the property of others.