fzn2smt compiler install instructions
-------------------------------------

1. Unpack the CompFlatzinc-1-1-01.zip file
2. Download and unpack the antlr runtime from
   http://www.antlr.org/download/antlr-runtime-3.2.jar
3. Add the following to the CLASSPATH environment variable:
   - The current directory .
   - The directory where you uncompressed CompFlatzinc-1-1-01.zip
   - The directory where you uncompressed the antlr runtime
4. Add to the PATH the folder where you uncompressed CompFlatzinc-1-1-01.zip

For usage, see the help:

java fzn2mst -h

Note: For large flatzinc files is appropriate to extend the Java heap memory. Use  "java -XmxYYYYM fzn2smt ...",  where YYYY must be greater than 1024.
Example: java -Xmx2048M fzn2smt -ce "./yices2smt09/bin/yices -f" -i <file>.fzn

Current version: 1.1.01 (28 july 2010)