/holmes

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

Primary LanguageHaskellMIT LicenseMIT