An abstraction layer for constraint solvers. - View it on GitHub