mios-1.3.0: A Minisat-based SAT solver in Haskell
SAT.Mios.Validator
Description
validate an assignment
Synopsis
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