picologic-0.1.1: Utilities for symbolic predicate logic expressions

Safe HaskellNone

Picologic.Solver

Synopsis

Documentation

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.