gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/cryptominisat

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

Screenshots

  • cryptominisat-5.11.21-r1
    ~amd64 ~x86
    python python_targets_python3_11 python_targets_python3_12 python_targets_python3_13 debug

    View      Download      Browse     License: GPL-2 MIT   
    Overlay: gentoo

USE Flags

python
Global: Adds support/bindings for the Python language
python_targets_python3_11
* This flag is undocumented *
python_targets_python3_12
* This flag is undocumented *
python_targets_python3_13
* This flag is undocumented *
debug
Global: Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see http://www.gentoo.org/proj/en/qa/backtraces.xml