Constraint solving toolkit
