diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2016-05-19 10:44:11 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2016-05-19 10:44:11 +0000 |
| commit | 4e942b64191e2ef98dce2c5af31047a8640db768 (patch) | |
| tree | 8c3238b7f0cbec2e9210d52f562960bb22323a7d /math/py-pycosat | |
| parent | 1d1f878054efdd1171a8cb006e59ad0727610293 (diff) | |
| download | ports-4e942b64191e2ef98dce2c5af31047a8640db768.tar.gz ports-4e942b64191e2ef98dce2c5af31047a8640db768.zip | |
Notes
Diffstat (limited to 'math/py-pycosat')
| -rw-r--r-- | math/py-pycosat/pkg-descr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/py-pycosat/pkg-descr b/math/py-pycosat/pkg-descr index 81525e110969..7932462faeca 100644 --- a/math/py-pycosat/pkg-descr +++ b/math/py-pycosat/pkg-descr @@ -1,5 +1,5 @@ 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, +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. |