Introduction

This page has for download some of the software I've written. Some of it is written from the ground up, in which case it is covered by the GLP (v3). In some other cases, the software is derived from other software. In that case, the original license applies.

Some of the code requires additional libraries. If so, this is listed below. You should properly install the required libraries before compiling the code. Failing to do so, may or may not lead to errors from the configure scripts included.

SatReplan

SatReplan is a plan adaptation framework based on SAT-encodings of the planning problem, described in Modification Strategies for SAT-based Plan Adaptation, Archives of Control Sciences 18(2):203-230.

SatReplan comes in three parts:

1. an updated version of SatPlan 2006, that knows how to call the 'solver' to modify and solve the CNF formulas. Adapted from SatPlan2006 (more info).
2. sattranslator, that implements the repair strategies. Original work. GPL'ed.
3. a generator for Satellite benchmarks. Adapted from the IPC-3 domain generators.

Project Planning domains

This archive contains the project planning domains described in Optimising Risk Management Decisions with Efficient Probabilistic Planning Methods, submitted to IBM Journal on R&D.