non port: math/cryptominisat/pkg-descr |
Number of commits found: 4 |
Wednesday, 7 Sep 2022
|
21:58 Stefan Eßer (se)
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner)
fb16dfe |
Monday, 26 Jun 2017
|
19:37 sunpoet
Fix WWW
Approved by: portmgr (blanket)
|
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: 4 |