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 8ff87985f5

Moved outdated encodings to separate directory. ...

These encodings need to be updated to match the new output format. Until
this is done, hide these files in a separate directory in order not to
confuse users.

2017-11-17 15:38:59 +01:00

..

outdated

Moved outdated encodings to separate directory.

2017-11-17 15:38:59 +01:00

strips

introduced flat representation of transition constraints, activated by default w.r.t. the new constant _inertia

2017-11-01 13:58:04 +01:00

sequential-horizon.lp

Updated sequential horizon-bound meta encoding to match new output format.

2017-06-28 16:41:31 +02:00