cryptominisat General-purpose award-winning SAT solver
5.6.3_3 math =0

Maintainer: arrowd@FreeBSD.org
Port Added: 05 May 2015 21:54:48
License: MIT LGPL21

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: https://github.com/msoos/cryptominisat

SVNWeb : Homepage : PortsMon

Pseudo-pkg-plist information, but much better, from make generate-plist
Expand this list (18 items)

1. /usr/local/share/licenses/cryptominisat-5.6.3_3/catalog.mk
2. /usr/local/share/licenses/cryptominisat-5.6.3_3/LICENSE
3. /usr/local/share/licenses/cryptominisat-5.6.3_3/MIT
4. /usr/local/share/licenses/cryptominisat-5.6.3_3/LGPL21
5. bin/cryptominisat5
6. bin/cryptominisat5_simple
7. include/cryptominisat5/cryptominisat.h
8. include/cryptominisat5/cryptominisat_c.h
9. include/cryptominisat5/dimacsparser.h
10. include/cryptominisat5/solvertypesmini.h
11. include/cryptominisat5/streambuffer.h
12. lib/cmake/cryptominisat5/cryptominisat5Config.cmake
13. lib/cmake/cryptominisat5/cryptominisat5Targets-release.cmake
14. lib/cmake/cryptominisat5/cryptominisat5Targets.cmake
15. lib/libcryptominisat5.so
16. lib/libcryptominisat5.so.5.6
17. @postexec /usr/sbin/service ldconfig restart > /dev/null
18. @postunexec /usr/sbin/service ldconfig restart > /dev/null
Collapse this list.

---

To install the port: cd /usr/ports/math/cryptominisat/ && make install clean
To add the package: pkg install cryptominisat

PKGNAME: cryptominisat

distinfo:

TIMESTAMP = 1533812522
SHA256 (msoos-cryptominisat-5.6.3_GH0.tar.gz) = c2fb4912cc8d8f3135af94581f11f30fd82347ee15ad8fb905e12a499e6fa87f
SIZE (msoos-cryptominisat-5.6.3_GH0.tar.gz) = 683713

---

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:

1. cmake : devel/cmake
2. ninja : devel/ninja

Library dependencies:

1. libboost_program_options.so : devel/boost-libs

This port is required by:

for Libraries

1. math/cvc4
2. math/py-cryptominisat
3. math/stp

* - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...

---

Configuration Options

     No options to configure

---

USES:

cmake:outsource compiler:c++11-lib

---

Master Sites:

1. https://codeload.github.com/msoos/cryptominisat/tar.gz/5.6.3?dummy=/

Bump PORTREVISION for ports depending on the canonical version of GCC
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t
GCC 8.2 under most circumstances.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, as a double check, everything INDEX-11 showed depending on lang/gcc7.

PR:		231590

devel/boost-*: update to 1.69.0

Changes:	http://www.boost.org/users/history/version_1_69_0.html
PR:		232525
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D17645

These ports now build on powerpc64.

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)

math/cryptominisat: Unbreak on aarch64.

PR:		229724
Submitted by:	Greg V <greg@unrelenting.technology>
Approved by:	tcberner (mentor)

math/cryptominisat: Update to 5.6.3.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D16645

devel/boost-*: update to 1.68.0

- Switch to C++14 for libboost_system to support C++14 consumers

Changes:	http://www.boost.org/users/history/version_1_68_0.html
PR:		229569
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D16165

Bump PORTREVISION for ports depending on the canonical version of GCC
in the ports tree (via Mk/bsd.default-versions.mk and lang/gcc) which
has now moved from GCC 6 to GCC 7 by default.

This includes ports
 - featuring USE_GCC=yes or USE_GCC=any,
 - featuring USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and those
 - with USES=compiler specifying one of openmp, nestedfct, c11, c++0x,
   c++11-lib, c++11-lang, c++14-lang, c++17-lang, or gcc-c++11-lib.

PR:		222542

math/cryptominisat and math/py-cryptominisat: Update to 5.6.1.

Reviewed by:	mat
Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D15735

devel/boost-*: update to 1.67.0

Changes:	http://www.boost.org/users/history/version_1_67_0.html
PR:		227427
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D15030

devel/boost-*: update to 1.66.0

Changes:	http://www.boost.org/users/history/version_1_66_0.html
PR:		223922
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D13279

Chase vim-lite -> vim-console rename

devel/boost-*: update to 1.65.1

Changes:	http://www.boost.org/users/history/version_1_65_1.html
PR:		218835
Approved by:	maintainer timeout (1.65.1: 2 weeks; 1.65.0: 1 month)
Tested by:	jhibbits (on powerpc64, earlier version)
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D11582

devel/boost-*: enable C++11 features

PR:		218835
Obtained from:	https://github.com/DragonFlyBSD/DeltaPorts/pull/690
Approved by:	maintainer timeout (2 months)
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D11582

Bump PORTREVISION for ports depending on the canonical version of GCC
(via Mk/bsd.default-versions.mk and lang/gcc) which has moved from
GCC 5.4 to GCC 6.4 under most circumstances.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c++11-lib, c++11-lang,
   c++14-lang, c++0x, c11, or gcc-c++11-lib.

PR:		219275

Fix WWW

Approved by:	portmgr (blanket)

Mark some ports failing on power64.  In cases where the error message
was a stub, provide a real one.

While here, pet portlint.

Reported by:	swills
Approved by:	portmgr (tier-2 blanket)

devel/boost-*: update to 1.64.0

Changes:	http://www.boost.org/users/history/version_1_64_0.html
PR:		218835
Approved by:	office (bapt)
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D10472

Bump PORTREVISIONs for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.9.4 to GCC 5.4 (at least under some
circumstances such as versions of FreeBSD or platforms).

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using using Mk/bsd.octave.mk which in turn has USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c++11-lib, c++14-lang,
   c++11-lang, c++0x, c11, or gcc-c++11-lib.

PR:		216707

devel/boost-*: update to 1.63.0

Changes:	http://www.boost.org/users/history/version_1_63_0.html
PR:		215598
Exp-run by:	antoine
Approved by:	office (bapt)
MFH:		2017Q1

devel/boost-*: update to 1.62.0

- Enable `long double` C99 math usage
- Switch 9.x back to building with GCC

Changes:	http://www.boost.org/users/history/
PR:		199601
Submitted by:	Chen Xu, bapt, amdmi3, truckman (based on)
Reviewed by:	rakuco (kde) (earlier version)
Exp-run by:	antoine (3 tries), truckman (consumers only, earlier versions)
Approved by:	bapt (office)

- Update to 5.0.1

PR:		212601
Submitted by:	6yearold@gmail.com (maintainer)

- 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)

Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight

math/{py-}cryptominisat: Update to 4.5.3

Common:

- Update PORTVERSION and distinfo checksum (4.5.3) [1]
- Switch to GITHUB for DISTFILES, remove USES=tar accordingly [1]

py-cryptominisat:

- Convert into fully fledged port
- Add distinfo and proper (unique) pkg-descr
- Remove MASTER port overrides accordingly
- Match COMMENT to upstream setup.py:description
- De-scope USES=compiler to compiler only
- Remove upstreamed patches

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)

14 vulnerabilities affecting 198 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2018-12-15 15:04:36