Picosat

solve

solveAll

unsafeSolve

unsafeSolveAll

data Solution