this repo has no description
dekker.one
1/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
2
3/*
4 * Main authors:
5 * Kevin Leo <kevin.leo@monash.edu>
6 */
7
8/* This Source Code Form is subject to the terms of the Mozilla Public
9 * License, v. 2.0. If a copy of the MPL was not distributed with this
10 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
11
12#include <minizinc/passes/gecode_pass.hh>
13#include <minizinc/solvers/gecode_solverinstance.hh>
14
15namespace MiniZinc {
16
17GecodePass::GecodePass(GecodeOptions* g_opts) : gopts(g_opts) {}
18
19Env* GecodePass::run(Env* env, std::ostream& log) {
20 // try {
21 // GecodeSolverInstance gecode(*env,log,new GecodeOptions(*gopts));
22 // gecode.processFlatZinc();
23 // gecode.presolve(env->flat());
24 // } catch(InternalError e) {
25 // std::cerr << "Warning during presolve: " << e.msg() << std::endl;
26 std::cerr << "NO LONGER IMPLEMENTED" << std::endl;
27
28 // }
29 return env;
30}
31} // namespace MiniZinc