FRDCSA
Minor
Internal
External
Git
Packages
pddl2smv
Jump To:
Parent Description
This is a collection of translator from
pddl
format to smv format.
They are
all
based on Fabio Patrizi first version to translate
pddl
files to [TLV](https://cs.nyu.edu/acsys/tlv/) files.