FOND4LTLf
FOND4LTLf copied to clipboard
whitemech
FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
Bumps [ipython](https://github.com/ipython/ipython) from 7.24.1 to 8.10.0. Commits 15ea1ed release 8.10.0 560ad10 DOC: Update what's new for 8.10 (#13939) 7557ade DOC: Update what's new for 8.10 385d693 Merge pull request from...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps [wheel](https://github.com/pypa/wheel) from 0.36.2 to 0.38.1. Changelog Sourced from wheel's changelog. Release Notes UNRELEASED Updated vendored packaging to 22.0 0.38.4 (2022-11-09) Fixed PKG-INFO conversion in bdist_wheel mangling UTF-8 header values...
Bumps [certifi](https://github.com/certifi/python-certifi) from 2021.5.30 to 2022.12.7. Commits 9e9e840 2022.12.07 b81bdb2 2022.09.24 939a28f 2022.09.14 aca828a 2022.06.15.2 de0eae1 Only use importlib.resources's new files() / Traversable API on Python ≥3.11 ... b8eb5e9 2022.06.15.1...
Fixed a bug in parser; this allows the pddl (:types} to be a typed list (see the robot-coffee example) I have also changed one method of automata.py to create trans...
Bumps [nbconvert](https://github.com/jupyter/nbconvert) from 6.0.7 to 6.5.1. Release notes Sourced from nbconvert's releases. Release 6.5.1 No release notes provided. 6.5.0 What's Changed Drop dependency on testpath. by @anntzer in jupyter/nbconvert#1723 Adopt...