minicsp

Minicsp is a CSP solver. It combines clause learning, as it is used in SAT and SMT solvers with the ability to use modeling languages and algorithms from constraint programming. It supports finite domain and set variables and several widely used global constraints. It can be used either as a C++ library or as a black box solver for solving instances in Flatzinc or XCSP formats.