pkg-descr « py-pyasp « math - freebsd-ports-gnome - FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

index : freebsd-ports-gnome

FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

about summary refs log tree commit diff stats

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

blob: b1faf75bad24ba8fda046a21279513d5579640f1 (plain) (blame)

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/