FRDCSA
Minor
Internal
External
Git
Packages
dnf-contingent-20160811
Jump To:
Parent Description
DNFct_run: this directory contains the input theory translator in prolog and DNF exec file.
PDDL benchmarks are run in this directory using the following command: