H

htn-sat

SAT encoding / decoding framework for planning purposes on Hierarchical Task Network (HTN) domains