path: root/math/py-pyasp/pkg-descr

PyASP is a Python convenience wrapper allowing
to solve boolean satisfiability problems through
invocation of external commands 'clasp' and 'gringo'.

WWW: https://pypi.org/project/pyasp/