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
ipc-2004-pomela-philosophers-adl
ipc-2008-seq-sat-openstacks-adl