What's Changed
- Update project structure by @marcofavorito in #1
- [Work in progress] Compile PLTLf in PDDL by @marcofavorito in #2
- Complete experiments 1a by @francescofuggitti in #42
- Add preliminary results and plotting scripts by @marcofavorito in #37
- Experiment type 2 by @marcofavorito in #38
- fix ipc00 pddl by @marcofavorito in #45
- Bench francesco by @francescofuggitti in #46
- Blocksworld1b by @marcofavorito in #44
- refactor benchmark/experiments by @marcofavorito in #50
- refactor experiment-1 script by @marcofavorito in #51
- Apply significant change for compilation in deterministic setting by @francescofuggitti in #52
- Refactor experiment 2 script by @marcofavorito in #53
- Add final results by @marcofavorito in #54
- Tireworld by @marcofavorito in #55
- add openstacks, rovers, beam-walk by @francescofuggitti in #57
- New Compilation FOND for PLTLf by @francescofuggitti in #58
- Improve scripts by @marcofavorito in #59
- Add Dockerfile by @marcofavorito in #61
- add openstacks generator, chore remove comments on triangletireworld … by @francescofuggitti in #60
- Fix 1a and 1b goals for triangle tireworld by @marcofavorito in #62
- add elevator, add results exp elevator 1a 1b by @francescofuggitti in #63
- add exp 2 elevator, add exp 1b and exp 2 blocks nondeterministic by @francescofuggitti in #66
- add new tw experiments by @marcofavorito in #64
- Fix/lf2f tool experiments by @francescofuggitti in #97
- Sort results by @marcofavorito in #98
- Feat/paladinus by @francescofuggitti in #159
- Misc fixes 1 by @marcofavorito in #248
- Icaps23 by @francescofuggitti in #245
- Feat/formula from file by @francescofuggitti in #250
- fix test workflow by @francescofuggitti in #251
- Fix/divergent reqs set by @francescofuggitti in #252
- fix: add implies by @francescofuggitti in #253
- fix issue #255 by @francescofuggitti in #256
- fix issue #257 by @francescofuggitti in #258
- Add more tests by @marcofavorito in #259
- Add planner tests by @marcofavorito in #261
- update logo and badges by @francescofuggitti in #263
Full Changelog: https://github.com/whitemech/Plan4Past/commits/v0.1.0