Picosat

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