Links to various repositories of some maybe less well known constraint solvers. This is mainly so that I can find them again.

• NuCS: A native Python solver that uses numpy for speed.

• The Glasgow Constraint Solver a proof logging constraint solver.

• The Glasgow Subgraph Solver developed my Ciaran McCreesh that includes support for proof logging.

• A C++ version minicpp of MiniCP developed by Laurent Michel and his students. It is mainly used for research. It has a FlatZinc parser.