FreeBSD.software
Home/math/cryptominisat

cryptominisat

5.11.21_6

General-purpose award-winning SAT solver

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.

Origin: math/cryptominisat
Category: math
Size: 1.80MiB
License: MIT, LGPL21
Maintainer: arrowd@FreeBSD.org
Dependencies: 2 packages
Required by: 6 packages
Website: github.com/msoos/cryptominisat
$pkg install cryptominisat

Dependencies (2)

boost-libsM4RI

Required By (6 packages)

bitwuzlaboolectorcvc5kleepy311-cryptominisatstp

More in math

py311-numpy1.26.4_11,1
The New Numeric Extension to Python
R4.5.2
Language for statistical computing and graphics
gmp6.3.0
Free library for arbitrary precision arithmetic
openblas0.3.30,2
Optimized BLAS library based on GotoBLAS2
fftw33.3.10_5
Fast C routines to compute the Discrete Fourier Transform
py311-matplotlib3.8.0_2
Plotting library uses a syntax familiar to MATLAB users
py311-pandas2.3.3,1
Flexible, high-performance data analysis in Python
mpfr4.2.2,1
Library for multiple-precision floating-point computations
octave10.3.0_2
High-level interactive language for numerical computations
octave-forge-base1.9_1
Octave-forge baseport for all packages