Gecode For Mac Publisher's description
from The Gecode Team
Gecode is a toolkit for developing constraint-based systems and applications
Gecode is a toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible. Gecode is:
Gecode is radically open for programming: it can be easily interfaced to other systems. It supports the programming of new propagators (as implementation of constraints), branching strategies, and search engines. New variable domains can be programmed at the same level of efficiency as finite domain and integer set variables that come predefined with Gecode.
Gecode is distributed under the MIT license and is listed as free software by the FSF. All of its parts including documentation, implementations of global constraints, and examples are available as source code for download.
Gecode is implemented in C++ that carefully follows the C++ standard. It can be compiled with modern C++ compilers and runs on a wide range of machines (including 64bit machines).
Gecode comes with both complete tutorial and complete reference documentation that allows users to focus on different modeling and programming tasks with Gecode.
Gecode offers excellent performance with respect to both runtime and memory usage. As an example, Gecode won the MiniZinc Challenge, both 2009 and 2008.
Gecode complies with reality in that it exploits the multiple cores of today's commodity hardware for parallel search, giving an already efficient base system an additional edge.
What's New in This Release:В· Kernel
В· Added STL compatible iteration support for arrays (variable arrays, argument arrays, view arrays, and shared arrays). (major , contributed by Gregory Crosswhite)
В· Search engines
В· Bug fixes
В· Fixed a serious bug in parallel search (took over a year to isolate the bug). (major, thanks to Denys Duchier, Chris Mears)
В· Minimal modeling support
В· Bug fixes
В· Do not inline construction of linear, Boolean, and set expressions to avoid cross-DLL allocation/deallocation issues on Windows. (minor, thanks to Alexander Kleff)
В· Other changes
В· Fixed the definitions of global_cardinality to work with MiniZinc 1.2 and newer, and added corresponding definitions of global_cardinality_closed and global_cardinality_low_up_closed. (major)
В· Bug fixes
В· Fixed incorrect posting of linear constraints with variable arrays of size one. (major, thanks to Roberto CastaГ±eda Lozano)
В· Gecode now compiles on FreeBSD. (minor, thanks to Peter Penchev)
System Requirements:No special requirements.
Program Release Status: Minor Update
Program Install Support: Install and Uninstall