Java program to parse a file containing a datalog program, compute its stratification and print it on standard output or in a file.
Java 16+ required
Usage : java -jar stratificator.jar [OPTION] SOURCE
-o [DEST] specify the output file
-v add verbosity and print parsed program
-h display this help and exit
GAU Jérémy and FROISSART Kevin
Open source