Damien Pellier
Results
2
issues of
Damien Pellier
Suppose a domain as follow: (define (domain dom) (:requirements :strips :typing) (:types t1 t2) (:predicates (p ?x - t1) ) ..... ) and a problem: (define (problem pb) (domain dom)...
enhancement
An interesting feature would be to log all the simplifications done and the explanation during grounding. It would help to debug domains and problems.
enhancement