Downloads of the Planners
Name Last modified Size Description
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.