c637402081
they now redirect to anyway. All new urls checked to return 200, I've fixed a couple of them in the process. Approved by: portmgr blanket, mat
5 lines
188 B
Text
5 lines
188 B
Text
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/
|