missing files for minizinc challenge

This commit is contained in:
Laurent Perron
2015-08-03 22:15:35 +02:00
parent c6728c6bce
commit 42ee65470a
2 changed files with 24 additions and 0 deletions

5
tools/CLASSES.fz Normal file
View File

@@ -0,0 +1,5 @@
FD Search
Free Search
Parallel Search
Open Class

19
tools/DESCRIPTION.fz Normal file
View File

@@ -0,0 +1,19 @@
OR-Tools Flatzinc interpreter.
See or-tools: https://developers.google.com/optimization/
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, Gurobi, CPLEX)
- 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.