holmes

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

MIT License

Downloads
1.4K
Stars
302
Committers
6