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