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.21-r1 :: 0/5.11.21 :: gentoo
- Modified
- License
- GPL-2 MIT
- Keywords
- ~amd64 ~x86
- USE flags
- debug python
USE flags
General
- debug
- Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
- python
- Add optional support/bindings for the Python language
python_targets
- python3_11
- Build with Python 3.11
- python3_12
- Build with Python 3.12
- python3_13
- Build with Python 3.13
Dependencies
dev-lang / python : Freethreading (no-GIL) version of Python programming language
dev-libs / boost : Boost Libraries for C++
dev-python / tomli : A lil' TOML parser
Runtime Dependencies
dev-lang / python : Freethreading (no-GIL) version of Python programming language
dev-libs / boost : Boost Libraries for C++
dev-python / tomli : A lil' TOML parser
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
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/cryptominisat: enable python support
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/cryptominisat: patch unistd include
Closes: https://bugs.gentoo.org/895118 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/cryptominisat: drop old 5.11.15
Closes: https://bugs.gentoo.org/919827 Closes: https://bugs.gentoo.org/916127 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/cryptominisat: bump to 5.11.21
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/cryptominisat: drop old 5.11.14
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/cryptominisat: bump to 5.11.15
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/cryptominisat: drop old 5.11.12
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/cryptominisat: drop old 5.11.11
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/cryptominisat: bump to 5.11.14
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/cryptominisat: drop old 5.11.4
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/cryptominisat: bump to 5.11.12
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/cryptominisat: bump to 5.11.11
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/cryptominisat: fix build with GCC 13
Closes: https://bugs.gentoo.org/895116 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/cryptominisat: drop old 5.8.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - 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>