interfaces.html

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

<section class="page-section">
  <p>We are developing the following interface to Gecode:</p>

  <ul class="interfaces-list">
    <li class="resource-item">
      <p class="resource-title"><a href="{{ '/flatzinc.html' | relative_url }}">FlatZinc/Gecode</a></p>
      <p class="resource-description"><i>Provides a parser for the <a href="https://www.minizinc.org/">FlatZinc modelling language</a>.</i></p>
    </li>
  </ul>
</section>

<section class="page-section">
  <p>The following external projects provide interfaces to Gecode:</p>

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

<section class="page-section">
  <p>The following interfaces to Gecode are no longer available.</p>

  <ul class="interfaces-list">
    <li class="resource-item">
      <p class="resource-title">The Monadic Constraint Programming Framework</p>
      <p class="resource-description"><i>Provides a CP modeling framework for Haskell with Gecode as backend.</i></p>
    </li>
    <li class="resource-item">
      <p class="resource-title">Gecode/R</p>
      <p class="resource-description"><i>Provides a modeling interface in Ruby for solving problems using Gecode.</i></p>
    </li>
    <li class="resource-item">
      <p class="resource-title">Tailor</p>
      <p class="resource-description"><i>Translates Essence' models to Gecode programs (among other things).</i></p>
    </li>
    <li class="resource-item">
      <p class="resource-title">Gecode/J</p>
      <p class="resource-description"><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></p>
    </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>
</section>