Gecode: Interfaces
We are developing the following interface to Gecode:
- FlatZinc/Gecode
provides a parser for the FlatZinc modelling language.
The following external projects provide interfaces to Gecode:
-
ECLiPSe interface to Gecode
supports using Gecode as finite domain solver, using syntax similar to the native solvers. -
Gecode AMPL driver
allows using Gecode from AMPL. -
Gecode bindings for YAP Prolog
provides simplified Gecode bindings for YAP Prolog. -
Gecode bindings for Python
provides Python bindings for the Gecode constraint programming library. - The
Alice Programming System
comes with a constraint library based on Gecode. -
Gecol
provides CFFI bindings that allow to use Gecode in Common Lisp. -
GeLisp
A portable and efficient wrapper for the Generic Constraint Development Environment (Gecode) library to Common Lisp. - The
GeOz Project
aims at integrating Gecode into the Mozart programming system.
The following interfaces to Gecode are no longer available.
-
The Monadic Constraint Programming Framework
provides a CP modeling framework for Haskell with Gecode as backend. -
Gecode/R
provides a modeling interface in Ruby for solving problems using Gecode. - Tailor
translates Essence' models to Gecode programs (among other things). - Gecode/J
is a Java interface that makes most functionality of Gecode available in Java. You can model problems and implement your own propagators, branchings, and search engines.
If you are developing an interface for Gecode and would like it to be listed here, please send us an email.