Module batsat::core

Structs

Solver	The main solver structure.
SolverOpts	Solver options.
SolverPrintDimacs	Print the model/proof as DIMACS.
TheoryArg	The temporary theory argument, passed to the theory.