Parser Skeleton for FlatZinc
============================

This is the Gecode FlatZinc parser and interpreter, stripped of all
Gecode-specific stuff. You can use it as a starting point for your own
FlatZinc interpreter.

This is version 1.0, released 2011-01-17.

If you have questions, don't hesitate to contact me by email: tack@gecode.org

The copyright and license information is listed in the header of each file.

Guido Tack, 2011

Implementing solver-specific methods
------------------------------------

In order to hook up your solver to the parser, look at the file flatzinc.hh.
It contains a class FlatZincModel, which is implemented in flatzinc.cpp. It