util.cardinality
Parses the dimacs format generated by a sat4j DimacsOutputSolver.
(Changed in version 2.9.0) The p0 call-by-name arguments is evaluated at most once per constructed Parser object, instead of on every need that arises during parsing.
p0
Parses the dimacs format generated by a sat4j DimacsOutputSolver.