readme

README

+Pre-Compilation code for performing transformations 
+    * PDDL -> Non Naive DNF transformations ("Nebel") and 
+    * PDDL -> PDDL with derived predicates.
+
+Switching between two modes of pre-compilations is performed by changing a bool variable 
+    Bool nebel = TRUE;
+in Line 202 in main.c
+
+After running "make", the program is run by receiving a command line 
+
+./ff -o DOMAINFILE -f PROBLEMFILE -A
+
+As an output, it creates two files, domain.pddl and facts.pddl