tarski
tarski copied to clipboard
aig-upf
Tarski - An AI Planning Modeling Framework
Fixes issue #142 Also provided an example notebook of how to use the new feature and how to write to a PDDL file
@anubhav-cs reports an issue on the IPC-23 `labyrinth` benchmark: ``` Traceback (most recent call last): File "/builds/Release/lapkt_package/lapkt.py", line 41, in planner = Planner(config) File "/builds/Release/lapkt_package/lapkt/load_planner.py", line 85, in __init__ self._load_problem()...
Python 3.8 is already [more than a year old](https://www.python.org/downloads/), ships by default in the latest Ubuntu LTS and, more relevant to us, has a number of improvements that would allow...
Note that this PR is submitted as a draft, since the true PR should probably be opened against a separate feature branch, rather than `devel`. Boolean interop for RDDL requires...
Related to #90 (Sorry for the amount of text here! I also hope I'm understanding the moving parts in `tarski` correctly, or else I might not be making much sense.)...
Closes #117 Related to discussion @ https://github.com/aig-upf/tarski/discussions/112
https://blog.jupyter.org/jupyterlite-jupyter-%EF%B8%8F-webassembly-%EF%B8%8F-python-f6e2e41ab3fa > JupyterLite can easily be deployed as a static website. That’s it, no server, no complicated setup, no scalability issue. Just a plain HTTP server to serve static files...
As discussed on The Planning Community slack (with Guillem Francès and Emil Keyder). I am interested in extending the existing RDDL support in tarski (and want to do it as...
The `evaluate` method at has been unfinished for a long time, and still does not support quantification. We should finish this.