Open source repositories tagged with #constraint-programming, ranked by health score.
CP+SAT solver framework built to be reliable, performant, and extensible
