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

• Pumkin a proof carrying lazy clause solver written in Rust.

• Munchkin a lazy caluse solver written in Rust for teaching purposes.

• 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.