constraint solving toolkit