Hacker Next
Gecode is an open source C++ toolkit for developing constraint-based systems (2019)gecode.org
73 points by gjvc 2 days ago | 14 comments