RECENT POSTS

Py-pyasp

May 26, 2018

Convenience wrapper for the ASP tools gringo and clasp

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/