generic constraint development downloads

Gecode

4.4.0 download

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 ... the programming of new propagators (as implementation of constraints), branching strategies, and search engines. New variable domains ...

Gecode x64

4.4.0 download

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 ... the programming of new propagators (as implementation of constraints), branching strategies, and search engines. New variable domains ...

Gecode for Mac OS X

4.4.0 download

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 ... the programming of new propagators (as implementation of constraints), branching strategies, and search engines. New variable domains ...

Gecode for Linux

4.4.0 download

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 ... the programming of new propagators (as implementation of constraints), branching strategies, and search engines. New variable domains ...