diff options
| author | koobs <koobs@FreeBSD.org> | 2014-08-23 15:11:36 +0800 |
|---|---|---|
| committer | koobs <koobs@FreeBSD.org> | 2014-08-23 15:11:36 +0800 |
| commit | d7a1ed96612a848de297c619343451c8bfd517cb (patch) | |
| tree | c67d889e5692fd9cc2a6f2339a8d954f89f3d362 /deskutils | |
| parent | 014a26740d45e955eee2266aa2dbee206759e5de (diff) | |
| download | freebsd-ports-gnome-d7a1ed96612a848de297c619343451c8bfd517cb.tar.gz freebsd-ports-gnome-d7a1ed96612a848de297c619343451c8bfd517cb.tar.zst freebsd-ports-gnome-d7a1ed96612a848de297c619343451c8bfd517cb.zip | |
[NEW] devel/py-pycosat: Bindings to PicoSAT (a SAT solver)
PicoSAT is a popular SAT solver written by Armin Biere in pure C. This
package provides efficient Python bindings to picosat on the C level,
i.e. when importing pycosat, the picosat solver becomes part of the
Python process itself.
WWW: https://github.com/ContinuumIO/pycosat
Diffstat (limited to 'deskutils')
0 files changed, 0 insertions, 0 deletions