mios-1.4.0: A Minisat-based SAT solver in Haskell

Safe HaskellSafe
LanguageHaskell2010

SAT.Mios.Validator

Description

validate an assignment

Synopsis

Documentation

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.