BSD Ports

math/cryptominisat 5.11.21_4 DragonFly

General-purpose award-winning SAT solver

System
DragonFly
Repository
DPorts
Maintainer
[email protected] (as in FreeBSD)
License
LGPL21, MIT
Categories
math
Package size
526.6 KiB, 1565.7 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.

In the other systems

SystemPortVersion
DragonFlymath/cryptominisat5.11.21_4
FreeBSDmath/cryptominisat5.11.21_8

Install

Binary package:

pkg install cryptominisat

From DPorts:

cd /usr/dports/math/cryptominisat && make install clean

Dependencies

Run dependencies 2