non port: math/cryptominisat/files |
Number of commits found: 6 |
Friday, 27 Mar 2020
|
14:59 arrowd
math/stp and math/cryptominisat: Use correct patch (at STP side) for specifying
dependency on
cryptomisat.
|
Wednesday, 4 Mar 2020
|
18:03 arrowd
math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it was
affected by this issue.
|
Saturday, 23 Feb 2019
|
16:31 arrowd
math/cryptominisat and math/py-cryptominisat to 5.6.8.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D19302
|
Friday, 10 Aug 2018
|
10:20 arrowd
math/cryptominisat: Unbreak on aarch64.
PR: 229724
Submitted by: Greg V <greg@unrelenting.technology>
Approved by: tcberner (mentor)
|
Thursday, 1 Sep 2016
|
13:25 cpm
- Update math/cryptominisat and math/py-cryptominisat to 5.0.0
PR: 211460
Submitted by: maintainer
Reviewed by: koobs, feld (mentor)
Approved by: feld (mentor)
|
Tuesday, 5 May 2015
|
21:54 jbeich
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)
|
Number of commits found: 6 |