Picosat

The solve function takes a nested list of integers representing variables in clauses and returns the solution. Usage:

import Picosat

main :: IO [Int]
main = do
  solve [[1, -2, 3], [2,4,5], [4,6]]
  -- Solution [1,-2,3,4,5,6]

Documentation

solve :: Integral a => [[a]] -> IO Solution

solveST :: Integral a => [[a]] -> ST t Solution

unsafeSolve :: Integral a => [[a]] -> Solution

data Solution

Constructors

Solution [Int]

Unsatisfiable

Unknown

Instances

Eq Solution

Show Solution