moreflags2

Project information

A PDDL pre-processor tool for the paper "Making DL-Lite Planning Practical" written in C for realizing a polynomial DNF transformation. It works in two modes: ``derived predicates'' or naive transformation.

31 Commits
1 Branch
0 Tags

README

Created on

October 19, 2020

Copy SSH clone URLgit@gitlab.perspicuous-computing.science:a.kovtunova/moreflags2.git
Copy HTTPS clone URLhttps://gitlab.perspicuous-computing.science/a.kovtunova/moreflags2.git

Loading