SAT.Mios

Interface to the core of solver

versionId

data CNFDescription

runSolver

solveSAT

solveSATWithConfiguration

solve

getModel

Assignment Validator

validateAssignment

validate

For standalone programs

executeSolverOn

executeSolver

executeValidatorOn

executeValidator

File IO

dumpAssigmentAsCNF