Gecode is an open source C++ toolkit for developing constraint-based systems (2019)(gecode.org)64 points by gjvc 1 year ago | 13 comments
