OR-Tools Flatzinc interpreter.

See or-tools: http://code.google.com/p/or-tools

OR-Tools is a set Operations Research tools developed internally at Google and open-sourced.

The project contains multiple tools:

 - A Constraint Programming solver
 - A Linear Programming solver
 - A SAT solver
 - A flatzinc interpreter on top of the Constraint Programming solver
 - A wrapper around third party linear solvers (GLPK. CLP, CBC, SCIP, Sulum)
 - Knapsack algorithms
 - Graph symmetry algorithms
 - Graph algorithms (shortest paths, min cost flow, max flow, linear sum assignment)
 - Python, Java, and .NET interfaces on top of the C++ libraries.

It was build by the Operations Research team at Google.