Picologic.Solver

solveProp

solveCNF

solveOneCNF

clausesExpr

addVarsToSolutions