Constraint solving toolkit