py-aspio

The ASP interface to object-oriented programs, implemented in Python.

Dependencies

• An ASP Solver, currently only dlvhex 2.6+ is supported
• Python 3.5+
• pyparsing

Installation

pip3 install aspio

Usage

Stand-alone examples can be found in the examples directory.

Further explanation: Using py-aspio (slides).

Development of py-aspio itself

Clone the repository and install the package in development mode::

git clone https://github.com/hexhex/py-aspio py-aspio
cd py-aspio
python3 setup.py develop

Running the tests

python3 setup.py test

Running the typechecker

Install the mypy-lang package first (e.g. pip3 install mypy-lang). To run the typechecker:

mypy -p aspio