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.