From 42ee65470a9a7a1b42a00426e5fc4c3bc9c3c91c Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Mon, 3 Aug 2015 22:15:35 +0200 Subject: [PATCH] missing files for minizinc challenge --- tools/CLASSES.fz | 5 +++++ tools/DESCRIPTION.fz | 19 +++++++++++++++++++ 2 files changed, 24 insertions(+) create mode 100644 tools/CLASSES.fz create mode 100644 tools/DESCRIPTION.fz diff --git a/tools/CLASSES.fz b/tools/CLASSES.fz new file mode 100644 index 0000000000..88c2bbfacd --- /dev/null +++ b/tools/CLASSES.fz @@ -0,0 +1,5 @@ +FD Search +Free Search +Parallel Search +Open Class + diff --git a/tools/DESCRIPTION.fz b/tools/DESCRIPTION.fz new file mode 100644 index 0000000000..2f3ac1428a --- /dev/null +++ b/tools/DESCRIPTION.fz @@ -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.