module PureSAT ( Solver, newSolver, Lit (..), newLit, boostScore, neg, addClause, solve, simplify, modelValue, -- * Statistics num_vars, num_clauses, num_learnts, num_learnt_literals, num_conflicts, num_restarts, ) where import PureSAT.Main