sci-mathematics / cryptominisat

Advanced SAT solver with C++ and Python interfaces

Official package sites : https://github.com/msoos/cryptominisat/ ·

This system provides CryptoMiniSat, an advanced incremental SAT solver. The system has 3 interfaces: command-line, C++ library and python. The command-line interface takes a cnf as an input in the DIMACS format with the extension of XOR clauses. The C++ and python interface mimics this and also allows for incremental use: assumptions and multiple solve calls.

v5.8.0 :: 0/5.8.0 :: gentoo

Modified
License
GPL-2 MIT
Keywords
~amd64 ~x86
USE flags
python

General

python
Add optional support/bindings for the Python language

python_single_target

python3_10
Build for Python 3.10 only
python3_8
Build for Python 3.8 only
python3_9
Build for Python 3.9 only

dev-lang / python : An interpreted, interactive, object-oriented programming language

dev-libs / boost : Boost Libraries for C++

sys-libs / zlib : Standard (de)compression library

dev-lang / python : An interpreted, interactive, object-oriented programming language

dev-libs / boost : Boost Libraries for C++

sys-libs / zlib : Standard (de)compression library

sci-mathematics / stp : Simple Theorem Prover, an efficient SMT solver for bitvectors

830091
sci-mathematics/cryptominisat-5.8.0 - /.../main_exe.cpp: error: feenableexcept was not declared in this scope
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/cryptominisat: fix sysconfig import
Bug: https://github.com/msoos/cryptominisat/pull/679 Closes: https://bugs.gentoo.org/836684 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/cryptominisat: new package; add version 5.8.0
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>