publication date2014/11/19
Ticket (1)typepriorityin stateloadload leftcreatedmodifiedassigned totagged bypatch
#245567 API change with Gecode 4bugimportantvalidation pending0.5000.0007 years6 years  Fix for gecode 4