Gecode 1.3.1

Gecode is a accessible, portable, and efficient environment for developing constraint-based systems and applications. Gecode is ra

Developer:	Guido Tack more software by author →
Price:	0.00
License:	BSD License
File size:	877K
Language:
OS:
Rating:	0 /5 (0 votes)
Your vote:
enlarge screenshot

Gecode is a accessible, portable, and efficient environment for developing constraint-based systems and applications.

Gecode is radically open for programming, meaning that 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.

Here are some key features of "Gecode":
Kernel

Gecode's kernel provides a comprehensive programming interface to construct new variable domains (including propagators as implementations of constraints and branchings) and search engines. It is slim (around 1000 lines of code) and requires no modification or hacking for adding new variable domains or search engines.

Search

Search in Gecode is based on recomputation and copying. Advanced techniques include adaptive (speeds up further search) and batch recomputation (drastically reduces propagation during recomputation). Currently, Gecode supports search for some solutions, optimization (branch-and-bound), and limited discrepancy search (more details). Parallel thread-based search is currently under development.

Finite domain constraints

Gecode comes with finite domain constraints implemented on top of the generic kernel. It offers standard constraints such as arithmetics, Boolean, linear equations, and global constraints such as: distinct (alldifferent, both bounds and domain consistent), global cardinality (both bounds and domain consistent), element, cumulatives, regular, sortedness, and lex. It is simple to add new constraints and branchings (in particular as the complete source code with the above constraints as examples is available).

Finite set constraints

Gecode also provides finite integer set variables. The standard set relations and operations are available as constraints, plus some specialized constraints such as convexity, global reasoning for distinctness of sets, selection constraints, weighted sets, and constraints connecting finite domain and finite set variables. As for the finite domain constraints, the library can be easily extended with new constraints and branchings.

Basic modeling support

Even though Gecode has been designed to be easy to interface to and not to be easy to model with, it comes with some basic modeling support. This supports expressing linear and Boolean constraints in the standard way as expressions build from numbers and operators.

What's New in This Release:

This is a minor release which fixes a major bug that appears when using branch-and-bound search.
tags

finite domain constraints and and branchings constraints such set variables domain constraints new variable variable domains search engines new constraints domain consistent and domain finite set

Download Gecode 1.3.1

http://www.gecode.org/download/gecode-1.3.1.tar.gz

Authors software

Gecode 1.3.1 (by Guido Tack)
Gecode is a accessible, portable, and efficient environment for developing constraint-based systems and applications.

Gecode is ra

Gecode/J 1.0.0 (by Guido Tack)
Gecode/J is a Java interface for the Gecode C++ constraint programming library

Similar software

Gecode 1.3.1 (by Guido Tack)
Gecode is a accessible, portable, and efficient environment for developing constraint-based systems and applications.

Gecode is ra

Gecode/J 1.0.0 (by Guido Tack)
Gecode/J is a Java interface for the Gecode C++ constraint programming library

Data::FormValidator::Constraints 4.40 (by Data::FormValidator::Constraints Team)

Solving Constraint Integer Programs 0.90 (by Tobias Achterberg)
Solving Constraint Integer Programs is a framework for constraint integer programming

OVal 0.8 (by Sebastian Thomschke)

Declare::Constraints::Simple 0.03 (by Robert Sedlacek)
Declare::Constraints::Simple is a Perl module for Declarative Validation of Data Structures.

SYNOPSIS

use Declare::Constraint

HTML::Widget 1.09 (by Sebastian Riedel)

Scriptol Compilers 5.7 (by Scriptol)
Scriptol is an object oriented programming language designed to deliver the programmer from hardware or software constraints and let

pure::variants Community Edition 2.2.1 (by pure-systems GmbH)
pure::variants Eclipse plugin supports development and variant management for software product lines with many product variants

Tablix 0.3.4 (by Tomaz Solc)
Tablix is a powerful free software kernel for solving general timetabling problems

Other software in this category

zlib 1.2.3 (by Jean-loup Gailly)
zlib is designed to be a free, general-purpose, legally unencumbered, lossless data-compression library for use on virtually any comp

libjpeg v6b (by Independent JPEG Group)
libjpeg is a library for handling the JPEG (JFIF) image format

OpenSSL 0.9.7c (by The OpenSSL Project Team)
The OpenSSL Project is a collaborative effort to develop a robust, commercial-grade, full-featured, and Open Source toolkit implement

libxml2 2.6.27 (by DV)
Libxml2 is the XML C parser and toolkit developed for the Gnome project (but usable outside of the Gnome platform), libxml2 library i

GNU C library 2.4 (by Andreas Jaeger)
GNU C library (glibc) is one of the most important components of GNU Hurd and most modern Linux distributions.

GNU C library is us