Reasoner frontend for answer set programs with queries over subprograms
This is a shell script based frontend for evaluating ASPq-programs based on Potassco or dlvhex2, using either one of different meta-programming encodings or nested HEX-programs as backend.
The main script is bin/aspq.sh
Call the script without parameters to see an overview of its usage.