Gecode 6.1.1
·
19 commits
to master
since this release
This release fixes a number of minor issues and adds post events to general tracers.
This release fixes a number of minor issues and adds post events to general tracers.