constraint solving toolkit
