Picosat

solve

solveAll

unsafeSolve

unsafeSolveAll

type Picosat

data Solution

evalScopedPicosat

addBaseClauses

withScopedClauses

scopedAllSolutions

scopedSolutionWithAssumptions