Conduct exhaustive or randomized tests of heuristics or algorithms for decision problems in incomplete argumentation frameworks.
To install required python packages, execute:
pip3 install -r requirements.txt
To run the test template, run:
python3 test_template.py
Create your own verification script based on the template and implement a checker function and a reference function to be compared for all generated instances.