An abstraction layer for constraint solvers - View it on GitHub