0.7.10

What's Changed

• Add FOND4LTLf by @francescofuggitti in #104

New Contributors

• @francescofuggitti made their first contribution in #104

Full Changelog: v0.7.9...v0.7.10

0.7.9

Fixed permission issues.

0.7.8

What's Changed

• Mulab planners PRP and POPRP by @haz in #103

Full Changelog: v0.7.7...v0.7.8

v0.7.7

What's Changed

• Dockerfile: appcontainer for every arch by @victorpaleologue in #94
• Added support for POPF by @roveri-marco in #99

New Contributors

• @victorpaleologue made their first contribution in #94

Full Changelog: v0.7.6...v0.7.7

0.7.6

What's Changed

• update smtplan image host #86 by @jdekarske in #91

Full Changelog: v0.7.5...v0.7.6

0.7.5

Switch back given issue #87

0.7.4

Another rollback of functionality (disables macq).

0.7.3

Reverting to the previous Dockerfile due to issues introduced by the Singularity > Apptainer transition.

0.7.2

What's Changed

• Adding python3.7 docker. Chmod +x macq/*install by @hectorpal in #85

Full Changelog: v0.7.1...v0.7.2

0.7.1

Version bump.