search

Gecode / gecode

Generic Constraint Development Environment
https://www.gecode.org
Other
283 stars 76 forks source link

ci: Build and check with the autoconf build system. #191

Closed waywardmonkeys closed 11 months ago

zayenz commented 11 months ago

Let's merge this one first, and then check with the other PR to see that it works as intended!