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. This allows for the compilation on unix machines based on a different implementation of the C library. Removed the use of glibc macros in the architecture selection process of the boost interval library.Fix compilation problems with the Microsoft Visual Studio IDE which uses -permissive- as default, rather than -permissive as cl.exe does.Added installation target to the CMake configuration.Add colon to statistics output to conform with FlatZinc specification.Otherwise the generated FlatZinc does not typecheck. Change table and regular predicates to take 1d arrays as arguments.Added example for magic squares with pre-filled instances.exp(0.0) now correctly evaluates to 1.0 (and not 0.0).(minor, contributed by Conrad Drescher, Patrick Zimmer) Fixed potential deadlock when memory has been exhausted.Use locks to guard mutexes in case tracers throw exceptions.General tracers now support post events, see MPG for details.This release fixes a number of minor issues and adds post events to general tracers. Use native offset calculation instead of additional constraints for argmin/argmax constraints.Half-reifed constraints in the MiniZinc solver library are declared in the same way as reified constraints, but are appended by "_imp" instead of "_reif".
Gecode makefile for windows full#
If no Half-reified constraint has been made available by solver, the full reification will be used. Half-reified constraints are used when a MiniZinc expression has to be reified and is detected to be in a positive context.
Gecode makefile for windows upgrade#
It is recommended to upgrade as soon as possible. The release enables half-reification in FlatZinc, fixes indeterminstic behavior for shared branching criteria, and fixes several aspects for general tracers. the change of x is reserved for radical changes to Gecode.when y changes, the above mentioned interfaces might have changed and medium to major additions or improvements are included.when z changes, the programming interfaces for Programming models, and Programming search engines remain stable and only minor additions or improvements are included.z change according to the following rules (of thumb):