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.