The codebase of answer set counter SharpASP-SR
We run our experiments in linux systems
Copy necessary binaries (ganak, gringo, clark) in the current folder:
cp bin/* .
Please ensure that the binaries ganak, gringo, clark are executable (chmod +x), run_sharpASPSR.py is executable and they all are in the current directory
Run: execute run_sharpASPSR.py:
python run_sharpASPSR.py -i Snf1_pathway.bnet.lp
Finally the output will be as follows:
SharpASP-SR: Number of answer sets: 10096027719780900754667077632
SharpASP-SR: Total time: XXX
The input program has 10096027719780900754667077632 answer sets.
ganak: the propositional (projected) model counter --- compiled from Model Counting Competition 2024clark: clark completion + copy operation --- adapted from ASP solver Cmodels
The benchmark and experimental logfiles are available at: zenodo link