Skip to content

Gecode 6.1.1

Compare
Choose a tag to compare
@chschulte chschulte released this 17 Feb 14:18
· 19 commits to master since this release

This release fixes a number of minor issues and adds post events to general tracers.