picologic-0.1: Utilities for symbolic predicate logic expressions
Picologic.Solver
Synopsis
solveProp :: Expr -> IO SolutionsSource
Yield the soutions for an expressions using the PicosSAT solver.
clausesExpr :: Expr -> [[Int]]Source
Yield the integer clauses given to the SAT solver.