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