Safe Haskell | None |
---|---|

Language | Haskell2010 |

# Documentation

solveProp :: Expr -> IO Solutions Source

Yield the solutions for an expression using the PicoSAT solver.

solveCNF :: Expr -> IO Solutions Source

Yield the solutions for an expression using the PicoSAT solver. The Expression must be in CNF form already.

solveOneCNF :: Expr -> IO (Maybe [Expr]) Source

Yield one single solution for an expression using the PicoSAT solver. The Expression must be in CNF form already.

clausesExpr :: Expr -> [[Int]] Source

Yield the integer clauses given to the SAT solver.

addVarsToSolutions :: [Ident] -> Solutions -> Solutions Source