There are 2 folders in this repo : test_1 and test_2 Both have a config.lp and ooasp.lp file. The other files are partial instantiations and can be run for example : clingo test_1/ooasp.lp test_1/config.lp test_1/satisifiable.lp 0
There are 2 folders in this repo : test_1 and test_2 Both have a config.lp and ooasp.lp file. The other files are partial instantiations and can be run for example : clingo test_1/ooasp.lp test_1/config.lp test_1/satisifiable.lp 0