diff options
| author | Jan Beich <jbeich@FreeBSD.org> | 2015-05-05 21:54:29 +0000 |
|---|---|---|
| committer | Jan Beich <jbeich@FreeBSD.org> | 2015-05-05 21:54:29 +0000 |
| commit | bef4dc1626df6695999d63c39a4f13d2e2e70522 (patch) | |
| tree | ab4afd56497d5c009d45f5d8774ed20e663f98aa /databases/php56-mssql | |
| parent | Restore rebar dependency. (diff) | |
math/cryptominisat, math/py-cryptominisat: add new ports
CryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT
solver, featuring over 100 configurable parameters to tune to specific
need, collection of statistical data to MySQL database + javascript-based
visualization of it and clean C++ and python interfaces.
WWW: http://www.msoos.org/cryptominisat4/
PR: 199929
Submitted by: 6yearold@gmail.com (based on)
Notes
Notes:
svn path=/head/; revision=385495
Diffstat (limited to 'databases/php56-mssql')
0 files changed, 0 insertions, 0 deletions