This repository has been archived on 2023-07-19. You can view files and clone it, but cannot push or open issues or pull requests.

Patrick Lühne 6bec233e23 Moved IPC 2000 Elevator example instances to instance directory.

2016-09-02 15:44:33 +02:00

..

ipc-2000-elevator-m10-simple

Moved IPC 2000 Elevator example instances to instance directory.

2016-09-02 15:44:33 +02:00

ipc-2004-airport-nontemporal-adl

Added a few SAS example instances for testing.

2016-08-29 18:26:59 +02:00

ipc-2004-pomela-philosophers-adl

Added a few SAS example instances for testing.

2016-08-29 18:26:59 +02:00

ipc-2008-seq-sat-openstacks-adl

Moved IPC 2008 OpenStacks example instances to instance directory.

2016-09-02 15:44:12 +02:00