GitHub repository: minion/minion
Primary language: C++
Created: 2017-02-05T14:01:50Z
Description: A high-performance Constraint Programming solver, created before the yellow things took the same name.