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