interfaces.html

---
layout: default
title: GECODE interfaces
headline: Interfaces
---

  <p>
    We are developing the following interface to Gecode:
  </p>

  <ul>
  <li><a href="/flatzinc.html">FlatZinc/Gecode</a><br />
	<i>provides a parser for the
	  <a href="https://www.minizinc.org/">FlatZinc modelling 
	    language</a>.</i>
  </li>
  </ul>



  <p>
    The following external projects provide interfaces to Gecode:
  </p>
  <ul>
  <li>
    <a href="http://eclipseclp.org/index.html">ECLiPSe interface to Gecode</a><br /><i>supports using Gecode as finite domain solver, using syntax similar to the native solvers</i>.
  </li>
  <li>
    <a href="https://github.com/vitaut/ampl/tree/master/solvers/gecode">Gecode AMPL driver</a><br /><i>allows using Gecode from <a href="http://www.ampl.com/">AMPL</a></i>.
  </li>
  <li>
    <a href="http://article.gmane.org/gmane.comp.lib.gecode.user/3299">Gecode bindings for YAP Prolog</a><br />
    <i>provides simplified Gecode bindings for 
       <a href="http://www.dcc.fc.up.pt/~vsc/Yap/">YAP Prolog</a></i>.
  </li>
  <li>
    <a href="https://launchpad.net/gecode-python">Gecode bindings for Python</a><br />
    <i>provides Python bindings for the Gecode constraint programming library</i>.
  </li>
  <li>The
      <a href="http://www.ps.uni-sb.de/alice/">
      Alice Programming System</a><br />
      <i>comes with a constraint library based on Gecode</i>.
  </li>
  <li>
    <a href="http://common-lisp.net/project/gecol/">Gecol</a><br />
    <i>provides CFFI bindings that allow to use Gecode 
       in Common Lisp</i>.
  </li>
  <li>
    <a href="http://sourceforge.net/projects/gelisp/">GeLisp</a><br />
    <i>A portable and efficient wrapper for the Generic Constraint Development Environment (Gecode) library to Common Lisp</i>.
  </li>
  <li>The <a href="http://cic.puj.edu.co/wiki/doku.php?id=grupos:avispa:geoz">
      GeOz Project</a><br />
      <i>aims at integrating Gecode into the
      Mozart programming system</i>.
  </li>
  </ul>



  <p>
    The following interfaces to Gecode are no longer available.
  </p>

  <ul>
  <li>
    The Monadic Constraint Programming Framework<br />
    <i>provides a CP modeling framework for Haskell with Gecode as backend</i>.
  </li>
  <li>
    Gecode/R<br />
    <i>provides a modeling interface in Ruby for solving problems using Gecode</i>.
  </li>
  <li>Tailor<br />      <i>translates Essence' models to Gecode programs</i> (among other things).</li>
  <li>Gecode/J<br />
	<i>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.</i>
  </li>
  </ul>


  <p>If you are developing an interface for Gecode and would like it to be listed
  here, please send us an email.</p>