Date: Tue, 05 May 2015 21:54:55 +0000 From: bugzilla-noreply@freebsd.org To: freebsd-ports-bugs@FreeBSD.org Subject: [Bug 199929] [NEW PORT] math/cryptominisat Message-ID: <bug-199929-13-wtTtr2ZFVm@https.bugs.freebsd.org/bugzilla/> In-Reply-To: <bug-199929-13@https.bugs.freebsd.org/bugzilla/> References: <bug-199929-13@https.bugs.freebsd.org/bugzilla/>
next in thread | previous in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=199929 --- Comment #6 from commit-hook@freebsd.org --- A commit references this bug: Author: jbeich Date: Tue May 5 21:54:33 UTC 2015 New revision: 385495 URL: https://svnweb.freebsd.org/changeset/ports/385495 Log: 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) Changes: head/math/Makefile head/math/cryptominisat/ head/math/cryptominisat/Makefile head/math/cryptominisat/distinfo head/math/cryptominisat/files/ head/math/cryptominisat/files/patch-cryptominisat4_CMakeLists.txt head/math/cryptominisat/files/patch-cryptominisat4_bva.cpp head/math/cryptominisat/pkg-descr head/math/cryptominisat/pkg-plist head/math/py-cryptominisat/ head/math/py-cryptominisat/Makefile head/math/py-cryptominisat/files/ head/math/py-cryptominisat/files/patch-pycryptosat.cpp -- You are receiving this mail because: You are the assignee for the bug.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-199929-13-wtTtr2ZFVm>