diff --git a/solvers/gecode/gecode.cc b/solvers/gecode/gecode.cc index a7aca3ee2..a0d8057e5 100644 --- a/solvers/gecode/gecode.cc +++ b/solvers/gecode/gecode.cc @@ -401,7 +401,7 @@ std::string GecodeSolver::GetOptionHeader() { } GecodeSolver::GecodeSolver() -: Solver("gecode", "gecode " GECODE_VERSION, 20130703), +: Solver("gecode", "gecode " GECODE_VERSION, 20130812), output_(false), output_frequency_(1), output_count_(0), icl_(Gecode::ICL_DEF), var_branching_(IntVarBranch::SEL_SIZE_MIN), diff --git a/solvers/ilogcp/ilogcp_date.h b/solvers/ilogcp/ilogcp_date.h index a69cbb20c..d834f222b 100644 --- a/solvers/ilogcp/ilogcp_date.h +++ b/solvers/ilogcp/ilogcp_date.h @@ -1,3 +1,3 @@ -#define YYYYMMDD 20130415 -#define qYYYYMMDD "20130415" -#define lYYYYMMDD 20130415 +#define YYYYMMDD 20130812 +#define qYYYYMMDD "20130812" +#define lYYYYMMDD 20130812 diff --git a/solvers/jacop/jacop.cc b/solvers/jacop/jacop.cc index 0f29fb0e8..12a8d4347 100644 --- a/solvers/jacop/jacop.cc +++ b/solvers/jacop/jacop.cc @@ -291,7 +291,7 @@ void JaCoPSolver::HandleUnknownOption(const char *name) { } JaCoPSolver::JaCoPSolver() -: Solver("jacop", 0, 20130701), +: Solver("jacop", 0, 20130812), outlev_(0), output_frequency_(1), output_count_(0), var_select_("SmallestDomain"), val_select_("IndomainMin"), time_limit_(-1), node_limit_(-1), fail_limit_(-1),