From fcaeb83522d13d93f72ac819b6ce33e056375e79 Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Tue, 15 Oct 2013 12:01:05 -0700 Subject: [PATCH] Bump solver versions. --- solvers/gecode/gecode.cc | 2 +- solvers/jacop/jacop.cc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/solvers/gecode/gecode.cc b/solvers/gecode/gecode.cc index 67b874002..79a2d815c 100644 --- a/solvers/gecode/gecode.cc +++ b/solvers/gecode/gecode.cc @@ -451,7 +451,7 @@ std::string GecodeSolver::GetOptionHeader() { } GecodeSolver::GecodeSolver() -: Solver("gecode", "gecode " GECODE_VERSION, 20130820, MULTIPLE_SOL), +: Solver("gecode", "gecode " GECODE_VERSION, 20131015, MULTIPLE_SOL), output_(false), output_frequency_(1), output_count_(0), solve_code_(-1), icl_(Gecode::ICL_DEF), var_branching_(IntVarBranch::SEL_SIZE_MIN), diff --git a/solvers/jacop/jacop.cc b/solvers/jacop/jacop.cc index 8829b9646..8a7550399 100644 --- a/solvers/jacop/jacop.cc +++ b/solvers/jacop/jacop.cc @@ -292,7 +292,7 @@ void JaCoPSolver::HandleUnknownOption(const char *name) { } JaCoPSolver::JaCoPSolver() -: Solver("jacop", "jacop " JACOP_VERSION, 20130820, MULTIPLE_SOL), +: Solver("jacop", "jacop " JACOP_VERSION, 20131015, MULTIPLE_SOL), outlev_(0), output_frequency_(1), output_count_(0), var_select_("SmallestDomain"), val_select_("IndomainMin"), time_limit_(-1), node_limit_(-1), fail_limit_(-1),