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

Safe HaskellSafe
LanguageHaskell2010

SAT.Solver.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.