ToySolver.Arith.VirtualSubstitution

type QFFormula

evalQFFormula

Projection

project

projectN

projectCases

projectCasesN

Constraint solving

solve

solveQFFormula