Abstraction layer for constraint solvers
