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-cryptominisat | |
| parent | 1d1f878054efdd1171a8cb006e59ad0727610293 (diff) | |
| download | ports-4e942b64191e2ef98dce2c5af31047a8640db768.tar.gz ports-4e942b64191e2ef98dce2c5af31047a8640db768.zip | |
Notes
Diffstat (limited to 'math/py-cryptominisat')
| -rw-r--r-- | math/py-cryptominisat/pkg-descr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/py-cryptominisat/pkg-descr b/math/py-cryptominisat/pkg-descr index a4f83e514c8c..5721fc00a323 100644 --- a/math/py-cryptominisat/pkg-descr +++ b/math/py-cryptominisat/pkg-descr @@ -1,5 +1,5 @@ This package provides Python bindings to CryptoMiniSat on the C++ level, i.e. when importing pycryptosat, the CryptoMiniSat solver becomes part of the -Python process itself. +Python process itself. WWW: https://github.com/msoos/cryptominisat |