Summary
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.
Versions
v5.11.4 :: 0/5.11.4 :: gentoo
- Modified
- License
- GPL-2 MIT
- Keywords
- ~amd64 ~x86
v5.8.0 :: 0/5.8.0 :: gentoo
- Modified
- License
- GPL-2 MIT
- Keywords
- ~amd64 ~x86
- USE flags
- python
USE flags
General
- python
- Add optional support/bindings for the Python language
python_single_target
- python3_10
- Build for Python 3.10 only
- python3_9
- Build for Python 3.9 only
Dependencies
dev-lang / python : An interpreted, interactive, object-oriented programming language
Runtime Dependencies
dev-lang / python : An interpreted, interactive, object-oriented programming language
Depending packages
sci-mathematics / boolector : Fast SMT solver for bit-vectors, arrays and uninterpreted functions
sci-mathematics / stp : Simple Theorem Prover, an efficient SMT solver for bitvectors
Bugs
- 830091
- sci-mathematics/cryptominisat-5.8.0 - /.../main_exe.cpp: error: feenableexcept was not declared in this scope
- 895116
- sci-mathematics/cryptominisat-5.11.4 - /.../ccnr.h: error: uint8_t was not declared in this scope
- 895118
- sci-mathematics/cryptominisat-5.11.4 - /.../picosat.c: fatal error: sys/unistd.h: No such file or directory
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - David Seifert · gentoo
*/*: remove py3.8 from PYTHON_COMPAT
Signed-off-by: David Seifert <soap@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/cryptominisat: bump to 5.11.4
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - 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>