Gecode is an open source C++ toolkit for developing constraint-based systems (2019)
(news.ycombinator.com)
1.
2.
Gecode is an open source C++ toolkit for developing constraint-based systems
(news.ycombinator.com)