Upload New File

ReadMe.txt

+The program computes a small strongly admissible labelling for a given argumentation framework (AF) in ASPARTIX format.
+For compiling the program: g++ -std=c++11 groundedLabelling.cpp -o groundedLabelling.out
+For executing the program: ./groundedLabelling.out inputAF.txt
\ No newline at end of file