Tracing the instantiation simplifications

pellierd / pddl4j

PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated Planning based on PDDL language (Planning Domain Description Language).

https://lig-membres.imag.fr/pellier/

GNU Lesser General Public License v3.0

147 stars 68 forks source link

Tracing the instantiation simplifications #91

Open pellierd opened 2 years ago

pellierd commented 2 years ago

An interesting feature would be to log all the simplifications done and the explanation during grounding. It would help to debug domains and problems.