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
6 lines
188 B
Plaintext
6 lines
188 B
Plaintext
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/
|