A reference library for constraint-solving with propagators and CDCL. - View it on GitHub