Sync Mk with ports

[dports.git] / 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/