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