cryptominisat-5.6.8_3.txz


Advertisement

Description

cryptominisat - General-purpose award-winning SAT solver

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Latest amd64
Package filename cryptominisat-5.6.8_3.txz
Package name cryptominisat
Package version 5.6.8
Package release 3
Package architecture amd64
Package type txz
Category math
Homepage https://github.com/msoos/cryptominisat
License MIT, LGPL21
Maintainer arrowd@FreeBSD.org
Download size 417.47 KB
Installed size 1.35 MB
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

Alternatives

Package Version Architecture Repository
cryptominisat-5.6.8_3.txz 5.6.8 i386 FreeBSD Ports Latest
cryptominisat-5.6.8_3.txz 5.6.8 i386 FreeBSD Ports Quarterly
cryptominisat-5.6.8_3.txz 5.6.8 amd64 FreeBSD Ports Quarterly
cryptominisat - - -

Requires

Name Value
boost-libs = 1.71.0
libboost_program_options.so.1.71.0 -

Provides

Name Value
libcryptominisat5.so.5.6 -

Download

Type URL
Mirror pkg.freebsd.org
Binary Package cryptominisat-5.6.8_3.txz
Source Package math/cryptominisat

Install Howto

Install cryptominisat txz package:

# pkg install cryptominisat

See Also

Package Description
cryptopp-7.0.0_2.txz Free C++ class library of Cryptographic Primitives
cryptoslam-1.2.txz Curses-based tool for creating and solving the cryptograms
crystal-0.28.0_2.txz Language with Ruby-like syntax and static type checking
cs-0.9.6_1.txz Cross Stitch software
cs-aspell-20040614.1_1,1.txz Aspell Czech dictionary
cs-hunspell-2.0.txz Czech hunspell dictionaries
cs-hyphen-2.0.txz Czech hyphenation rules
cs-libreoffice-6.3.2.txz cs language pack for libreoffice
cs-mythes-2007.09.26_1.txz Czech thesaurus
csb-aspell-0.02.0_1,2.txz Aspell Kashubian dictionary
cscope-15.8b_1.txz Interactive C program browser
cscout-2.7_2.txz Source code analyzer and refactoring browser for C program collections
csharp-mode.el-emacs26-0.9.0_3.txz Emacs major mode for editing C# source code
csharp-mode.el-emacs26_canna-0.9.0_3.txz Emacs major mode for editing C# source code
csharp-mode.el-emacs26_nox-0.9.0_3.txz Emacs major mode for editing C# source code
Advertisement
Advertisement