Gecode for Mac OS X 3.7.1

License:Freeware

Size:41.0 MB

Date Added:27 December, 2012


Advertisement

   


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:

open
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.

free
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.

portable
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).

accessible
Gecode comes with both complete tutorial and complete reference documentation that allows users to focus on different modeling and programming tasks with Gecode.

efficient
Gecode offers excellent performance with respect to both runtime and memory usage. As an example, Gecode won all MiniZinc Challenges so far (in all categories): 2011, 2010, 2009, and 2008.

parallel
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.
Release notes: New Release
Search engines:
TE Fixed a bug that crashed the single-thread branch-and-bound search engine when initialized with a failed space. (minor)

Finite domain integers:

Additions:
TE Added efficient propagators for n-ary Boolean xor and equivalence (as they are now primitive in MiniZinc). (minor)
TE Domain consistency for simple counting constraints can be switched off.

Other changes:
TE The semantics of n-ary Boolean implication has been changed (to the more convential reading): rel(home, BOT_IMP, x, y) where x is an array of Boolean variable now assumes implication to be right associative. See MPG for explanation. (minor)

Bug fixes:
TE Fixed bugs in the computation of the required precision (int or double) for linear propagation, and in division operations of scale views. These could cause an incorrect treatment of overflow in linear constraints. (major)

Performance improvements:
TE Domain consistent distinct runs 10-20% faster. (minor)
[ Gecode for Mac OS X full changelog ]

Systems: Mac OS X

Tags: Generic constraint development   development environment   development toolkit   generic constraint   development   toolkit  

Reviews of Gecode for Mac OS X

- required fields
     


More Downloads of The Gecode Team

1. Gecode for Linux 3.7.1 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: open Gecode is radically open for... DetailsDownload  - Screenshot

2. Gecode x64 3.7.2001 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: open Gecode is radically open for programming: it... DetailsDownload  - Screenshot

Related Downloads

1. Gecode x64 3.7.2001 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: open Gecode is radically open for programming: it... DetailsDownload  - Screenshot

Tags: Generic constraint development   development environment   development toolkit   generic constraint   development  

2. Gecode for Linux 3.7.1 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: open Gecode is radically open for programming:... DetailsDownload  - Screenshot

Tags: Generic constraint development   development environment   development toolkit   generic constraint   development  

3. Tarma ExpertInstall 3.5 Tarma ExpertInstall creates native and MSI software installers for MicrosoftT« WindowsT« platforms, with a small distribution size, a straightforward and clean user interface, and smart install and uninstall behavior. Requires no scripting;... DetailsDownload  - Screenshot

Tags: user interface   development environment   files   environment   user  

4. Tarma QuickInstall 2.99 Tarma QuickInstall creates fast, compact, and full-featured Windows-compliant software installers for MicrosoftT« WindowsT« platforms, with a small distribution size, a straightforward and clean user interface, and smart install and... DetailsDownload  - Screenshot

Tags: user interface   development environment   files   environment   windows  

5. Gecode for Linux 3.7.1 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: open Gecode is radically open for programming:... DetailsDownload  - Screenshot

Tags: Generic constraint development   development environment   development toolkit   generic constraint   development   toolkit  

6. Portable ExamDiff 1.9.0.2 ExamDiff is a freeware Windows 95/98/Me/2000/XP/2003/Vista/7/2008 tool for visual file comparison. It is quick and very simple to use, and has a number of convenient features that many users have been asking for a long time from a file comparison... DetailsDownload  - Screenshot

Tags: file comparer   comparison tool   Compare dialog   compare   comparer   comparison  

Popular Downloads

1. TortoiseSVN 1.8.4.24 TortoiseSVN is a free opensource Apache Subversion (SVN) client, implemented as a windows shell extension. It's intuitive and easy to use, since it doesn't require the Subversion command line client to run. Simply the coolest Interface to... DetailsDownload  - Screenshot

2. MouseFeed Eclipse Plugin. Learn keyboard 1.0.0 MouseFeed Eclipse plugin. Helps to remember keyboard shortcuts. Shows a popup with the keyboard shortcut for the actions called with a mouse click. DetailsDownload 

3. GNOME Clipboard Manager 2.0.4 GNOME Clipboard Manager is an environment made for managing your clipboards. It will automatically fetch new clipboards, and will push all the formats of that clipboard to a shelf DetailsDownload 

4. iDoctor 2.0 iDoctor equips Mac users with 15 cleaning and optimization tools to make their working on Mac easy and simply. With iDoctor’s help you can also manage, encrypt, backup, recover or shred files with just a couple of mouse clicks. Thus, the... DetailsDownload  - Screenshot

Tags: cleaning   optimization   support  

Top Software

New Software

Top Search

Latest Reviews