Constraint solving library - View it on GitHub