Downloads of the Planners

Icon  Name                    Last modified      Size  Description
[   ] seq-opt-gamer_2.0.ta..> 2014-07-22 09:52 1.4M [   ] seq-opt-dynamic-game..> 2014-07-22 09:52 1.4M [   ] seq-opt-gamer_1.7.ta..> 2012-09-06 09:50 1.4M [   ] seq-opt-gamer_1.6.ta..> 2012-07-20 15:28 1.4M [   ] seq-opt-gamer_1.5.ta..> 2012-07-20 15:28 1.4M [   ] seq-opt-gamer_1.4.ta..> 2012-07-20 15:28 1.4M [   ] seq-opt-gamer_1.1.ta..> 2012-07-20 15:28 1.4M [   ] seq-opt-gamer_1.0c.t..> 2012-07-20 15:28 1.4M [   ] seq-opt-gamer_1.0b.t..> 2012-07-20 15:28 1.0M [   ] seq-opt-gamer_1.0a.t..> 2012-07-20 15:28 1.0M [   ] seq-opt-gamer_1.0.ta..> 2012-07-20 15:28 1.0M [   ] netben-opt-gamer_1.0..> 2012-07-20 15:28 591K [   ] netben-opt-gamer_1.0..> 2012-07-20 15:28 635K [   ] netben-opt-gamer_1.0..> 2012-07-20 15:28 590K [   ] netben-opt-gamer_1.0..> 2012-07-20 15:28 635K [   ] netben-opt-gamer_1.0..> 2012-07-20 15:28 471K
Source codes of our planners (Gamer), which participated in the
sequential optimal track of IPCs 2008, 2011, and 2014 as well as the
optimal net-benefit track of IPC 2008 and of Dynamic-Gamer from IPC
2014.

- netben-opt-gamer_1.0.tar.bz2: Original IPC 2008 version.
  netben-opt-gamer_1.0a_32-bit.tar.bz2: Competition version, but
  adapted to compile with current GCC (4.4.3) and using a 32-bit
  version of the Buddy BDD-library (and 32-bit flags for compiling the
  planner and the grounding utility).
- netben-opt-gamer_1.0a_64-bit.tar.bz2: Competition version, but
  adapted to compile with current GCC (4.4.3) and using a 64-bit
  version of the Buddy BDD-library.
- netben-opt-gamer_1.0b_32-bit.tar.bz2: Same as 1.0a_32-bit, but
  removed a problem with total action cost larger than 2047 and a bug
  with the metric, if a preference is constantly violated.
- netben-opt-gamer_1.0b_64-bit.tar.bz2: Same as 1.0a_64-bit, but
  removed a problem with total action cost larger than 2047 and a bug
  with the metric, if a preference is constantly violated.

- seq-opt-dynamic-gamer_2.0.tar.bz2: Competition version (IPC 2014);
  same as seq-opt-gamer_2.0, but using limited automatic variable
  reordering.

- seq-opt-gamer_1.0.tar.bz2: Original competition version (IPC 2008).
- seq-opt-gamer_1.0a.tar.bz2: Competition version, but adapted to
  compile with current GCC (4.4.3) and the ability to be compiled in
  64-bit environments as well.
- seq-opt-gamer_1.0b.tar.bz2: Same planner, but uses -O3 optimization
  flag for compiling BDD library, planner and grounding utility.
- seq-opt-gamer_1.0c.tar.bz2: Same planner, but incorporating most
  recent version of CUDD BDD library (2.4.2; so far, version 2.4.1 was
  used).
- seq-opt-gamer_1.1.tar.bz2: Improvements in planner's code, so that
  large action costs (as in IPC 2008's parcprinter domain) can be
  handled (by using a Hashmap instead of Vectors).
- seq-opt-gamer_1.4.tar.bz2: Improved plan script (uses 15 minutes
  real time for backward search, not CPU time); added calculation of
  abstractions; added improvement of variable ordering.
- seq-opt-gamer_1.5.tar.bz2: Competition version (IPC 2011); improved
  calculation of better variable ordering; fixed seed for random
  number generator (needed in variable reordering); redirected some
  calls to stdout (was: stderr).
- seq-opt-gamer_1.6.tar.bz2: Removed some bugs from the IPC version
  (problem with the solution reconstruction if no forward search was
  used in BFS); some further improvements in calculation of better
  variable ordering.
- seq-opt-gamer_1.7.tar.bz2: Added new parser (JavaJJ now required!);
  reorganized some of the code (esp. BDD creation) to get rid of
  duplicate fragments; improvement in decision for bidirectional
  search; stores BDDs for init, goal, transition relation from
  backward search, if no abstraction used.
- seq-opt-gamer_2.0.tar.bz2: Competition version (IPC 2014); more
  compact FDR variables; support for conditional effects; change in
  variable ordering; removed some bugs from ground; updated CUDD
  package (BDDs); now performs bidirectional Dijkstra search.