UMOP and OBS (Software Availability--Rune Jensen)

[Subbarao Kambhampati <rao@cotopaxi.eas.asu.edu>]

Dear colleagues,

We would like to inform you that we have made the following software
systems available on the internet:

UMOP 1.2 : An OBDD-based universal planning system for multi-agent
            and non-deterministic domains. The software package includes
            the BuDDy OBDD-package, a large set of example domains, an
            executor program, and visual demos. C++/STL, Linux, X.
            Algorithms: Weak, Strong, Strong Cyclic, and Weak adversarial
            Strong cyclic adversarial. Planning language: NADL.

OBS 0.7  : An OBDD-based search engine for deterministic and
            non-deterministic domains. Deterministic algorithms: Forward,
            Backward, Bidir, BDDA*, SetA*. C++/STL, Linux.
            Non-deterministic algorithms: Weak, Strong cyclic, Strong,
            Strong cyclic adversarial, Fault Tolerant, Guided weak,
            Guided strong cyclic, Guided strong, Guided Fault tolerant,
            Guided strong cyclic adversarial. Planning languages: PDDL
            (Strips), extNADL.

In addition, we have 24 MB of deterministic and non-deterministic test
domains. Please go to www.cs.cmu.edu/~runej.

Regards,
Rune M. Jensen