Numeric.Limp.Canon.Simplify.Crunch
crunchProgram
crunchConstraint