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.