math/cryptominisat 5.11.21_8
General-purpose award-winning SAT solver
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
97a84ef467- License
- MIT, LGPL21
- Categories
- math
- Package size
- 584.6 KiB, 1710.2 KiB installed
Description
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.
Install
As a binary package — by origin, or by package name:
pkg install math/cryptominisat
pkg install cryptominisatFrom the ports tree:
cd /usr/ports/math/cryptominisat/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= cryptominisat>0:math/cryptominisat
LIB_DEPENDS= libcryptominisat5.so:math/cryptominisatPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 5.11.21_8 | 5.11.21_8 | 5.11.4 | 5.11.21_5 | 5.11.21_8 |
| FreeBSD:14:quarterly | 5.11.21_8 | 5.11.21_8 | n/a | 5.11.21_5 | 5.11.21_8 |
| FreeBSD:15:latest | 5.11.21_8 | 5.11.21_8 | n/a | 5.11.21_5 | 5.11.21_5 |
| FreeBSD:15:quarterly | 5.11.21_8 | 5.11.21_8 | n/a | n/a | n/a |
| FreeBSD:16:latest | 5.11.21_8 | 5.11.21_8 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Library 2
libm4ri.so: math/m4rilibboost_program_options.so: devel/boost-libs
The full lists below include those, and their dependencies in turn.
All build dependencies 21
All run dependencies 6
Configuration
No options to configure.
- USES
- cmake compiler:c++11-lib
- Service scripts
- none
Files
pkg-plist 12
- bin/cryptominisat5
- include/cryptominisat5/cryptominisat.h
- include/cryptominisat5/cryptominisat_c.h
- include/cryptominisat5/dimacsparser.h
- include/cryptominisat5/solvertypesmini.h
- include/cryptominisat5/streambuffer.h
- lib/cmake/cryptominisat5/cryptominisat5Config.cmake
- lib/cmake/cryptominisat5/cryptominisat5ConfigVersion.cmake
- lib/cmake/cryptominisat5/cryptominisat5Targets-.cmake
- lib/cmake/cryptominisat5/cryptominisat5Targets.cmake
- lib/libcryptominisat5.so
- lib/libcryptominisat5.so.5.11
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| msoos-cryptominisat-5.11.21_GH0.tar.gz | 975459 | 288fd53d801909af797c72023361a75af3229d1806dbc87a0fcda18f5e03763b |