A reference library for constraint-solving with propagators and CDCL.
Primary LanguageHaskellMIT LicenseMIT