Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
2.4 kB · 70 lines
C++
at develop
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
/* * Main authors: * Guido Tack <guido.tack@monash.edu> * Gleb Belov <gleb.belov@monash.edu> */
/* This Source Code Form is subject to the terms of the Mozilla Public * License, v. 2.0. If a copy of the MPL was not distributed with this * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
/* This (main) file coordinates flattening and solving. * The corresponding modules are flexibly plugged in * as derived classes, prospectively from DLLs. * A flattening module should provide MinZinc::GetFlattener() * A solving module should provide an object of a class derived from SolverFactory. * Need to get more flexible for multi-pass & multi-solving stuff TODO */
#include <minizinc/solver.hh>
#include <chrono>#include <cstdlib>#include <ctime>#include <fstream>#include <iomanip>#include <iostream>#include <ratio>
using namespace std;using namespace MiniZinc;
int main(int argc, const char** argv) { Timer starttime; bool fSuccess = false;
try { MznSolver slv(std::cout, std::cerr); try { std::vector<std::string> args(argc - 1); for (int i = 1; i < argc; i++) args[i - 1] = argv[i]; fSuccess = (slv.run(args, "", argv[0]) != SolverInstance::ERROR); } catch (const LocationException& e) { if (slv.get_flag_verbose()) std::cerr << std::endl; std::cerr << e.loc() << ":" << std::endl; std::cerr << e.what() << ": " << e.msg() << std::endl; } catch (const Exception& e) { if (slv.get_flag_verbose()) std::cerr << std::endl; std::string what = e.what(); std::cerr << what << (what.empty() ? "" : ": ") << e.msg() << std::endl; } catch (const exception& e) { if (slv.get_flag_verbose()) std::cerr << std::endl; std::cerr << e.what() << std::endl; } catch (...) { if (slv.get_flag_verbose()) std::cerr << std::endl; std::cerr << " UNKNOWN EXCEPTION." << std::endl; }
if (slv.get_flag_verbose()) { std::cerr << " Done ("; cerr << "overall time " << starttime.stoptime() << ")." << std::endl; } return !fSuccess; } catch (const Exception& e) { std::string what = e.what(); std::cerr << what << (what.empty() ? "" : ": ") << e.msg() << std::endl; std::exit(EXIT_FAILURE); }} // int main()