GitHub repository: pothitos/naxos
Primary language: C++
Description: A C++ Constraint Programming Library