Page
Library
Module
Module type
Parameter
Class
Class type
Source
Batsat
SourceAn instance of batsat (stateful)
Solve the problem made by adding clauses using add_clause_l
or add_clause_a
.
Same as solve
but does not raise if unsat.
Number of literals true at level0 (ie proved unconditionally). Can only grow.