Skip to content

Commit

Permalink
Bump solver versions
Browse files Browse the repository at this point in the history
  • Loading branch information
vitaut committed Aug 13, 2013
1 parent e977771 commit 03054c0
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 5 deletions.
2 changes: 1 addition & 1 deletion solvers/gecode/gecode.cc
Original file line number Diff line number Diff line change
Expand Up @@ -401,7 +401,7 @@ std::string GecodeSolver::GetOptionHeader() {
}

GecodeSolver::GecodeSolver()
: Solver<GecodeSolver>("gecode", "gecode " GECODE_VERSION, 20130703),
: Solver<GecodeSolver>("gecode", "gecode " GECODE_VERSION, 20130812),
output_(false), output_frequency_(1), output_count_(0),
icl_(Gecode::ICL_DEF),
var_branching_(IntVarBranch::SEL_SIZE_MIN),
Expand Down
6 changes: 3 additions & 3 deletions solvers/ilogcp/ilogcp_date.h
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
#define YYYYMMDD 20130415
#define qYYYYMMDD "20130415"
#define lYYYYMMDD 20130415
#define YYYYMMDD 20130812
#define qYYYYMMDD "20130812"
#define lYYYYMMDD 20130812
2 changes: 1 addition & 1 deletion solvers/jacop/jacop.cc
Original file line number Diff line number Diff line change
Expand Up @@ -291,7 +291,7 @@ void JaCoPSolver::HandleUnknownOption(const char *name) {
}

JaCoPSolver::JaCoPSolver()
: Solver<JaCoPSolver>("jacop", 0, 20130701),
: Solver<JaCoPSolver>("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),
Expand Down

0 comments on commit 03054c0

Please sign in to comment.