Published September 5, 2024
| Version v0.2.18
Software
Open
PDDL.jl
Creators
Description
New Features
- Support tuple-based indexing in the Array theory / extension
- Support set-based abstraction of concrete values
- Support abstract interpretation of arrays
- Support fluent-specific abstractions in the abstract interpreter
- Add documentation for abstract interpreter and extension interfaces
Bug Fixes
- Fixed the implementation of
satisfyfor the abstract interpreter - Fixed handling of
bothvalues in the abstract interpreter - Fixed the abstraction of Boolean functions
- Fixed implementation of
copyfor compiled states
Full Changelog: https://github.com/JuliaPlanners/PDDL.jl/compare/v0.2.17...v0.2.18
Notes
If you use this software, please cite it as below.
Files
JuliaPlanners/PDDL.jl-v0.2.18.zip
Files
(306.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:eef7a70cfd5cc44210edf952a31f424c
|
306.9 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/JuliaPlanners/PDDL.jl/tree/v0.2.18 (URL)