mios-1.6.2: A Minisat-based CDCL SAT solver in Haskell
SAT.Mios.Validator
Description
(This is a part of MIOS.) Validate an assignment
validate :: Traversable t => Solver -> t Int -> IO Bool Source #
validates the assignment even if the implementation of Solver is wrong; we re-implement some functions here.
Solver