K 10
svn:author
V 6
jbeich
K 8
svn:date
V 27
2015-05-05T21:54:29.882362Z
K 7
svn:log
V 433
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)

END