Gecode is an open source C++ toolkit for developing constraint-based systems (2019) 75 points by gjvc 2 weeks ago 14 comments story