sci-mathematics / cryptominisat

Advanced SAT solver with C++ and command-line interfaces

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

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.12 :: 0/5.11.12 :: gentoo

Modified
License
GPL-2 MIT
Keywords
~amd64 ~x86

v5.11.11 :: 0/5.11.11 :: gentoo

Modified
License
GPL-2 MIT
Keywords
~amd64 ~x86

Dependencies

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

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

Runtime Dependencies

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

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

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
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
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>