Gecode 6.1.0
chschulte
released this
19 Oct 09:17
·
58 commits
to master
since this release
This release adds reified extensional constraints; support for negative tables; experimental support for counting-based search (thanks to Samuel Gagnon); and support for standard C++initializer lists. In addition, the release has lots of bug fixes and performance improvements. It is highly recommended to switch as soon as possible!