Constraint Solving by Computation Implementation Protocol | Constraint Solving by Computation | Mathematics | NEROS