Bump solver versions.

ampl · Oct 15, 2013 · fcaeb83 · fcaeb83
1 parent 209f6d9
commit fcaeb83
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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),