mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-25 00:51:21 +00:00
Code Issues Releases Activity
00131924e4
freebsd-ports/math/cryptominisat/pkg-descr

7 lines
320 B
Plaintext
Raw Normal View History

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)
2015-05-05 21:54:29 +00:00
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.
Fix WWW Approved by: portmgr (blanket)
2017-06-26 19:37:22 +00:00
WWW: https://github.com/msoos/cryptominisat
Reference in New Issue Copy Permalink