ToySolver.Arith.VirtualSubstitution

type QFFormula

evalQFFormula

type Model r

class Eval m e v

Projection

project

projectN

projectCases

projectCasesN

Constraint solving

solve

solveQFFormula