[gecode-users] FlatZinc for Gecode 1.0 released

[Guido Tack]

We would like to announce the release of

                   FlatZinc for Gecode 1.0
         http://www.gecode.org/flatzinc.html

FlatZinc is a low-level modelling language for constraint
problems. It is designed to be easily interfaceable to constraint
solvers (like Gecode). For more information on FlatZinc, please
refer to

http://www.g12.cs.mu.oz.au/minizinc/

We provide a parser that reads a FlatZinc model from a file, and
returns a Gecode Space object that represents the model. We
also provide a simple front-end, an executable program that
reads a FlatZinc model and prints the solution (if any) on the
standard output.

FlatZinc for Gecode requires the just-released Gecode 2.0.0, and
can be built and run on Windows, Linux, and Mac OS X.  We provide
source tarballs and access to our subversion repository and will add
binary packages for several platforms soon.

Cheers,
	Guido

-- 
Guido Tack
http://www.ps.uni-sb.de/~tack