gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

Screenshots

  • stp-2.3.4
    ~amd64 ~x86
    cryptominisat debug +python test python_single_target_python3_11 python_single_target_python3_12 python_single_target_python3_13

    View      Download      Browse     License: GPL-2+ MIT   
    Overlay: gentoo
  • stp-2.3.3-r3
    ~amd64 ~x86
    cryptominisat debug +python test python_single_target_python3_11 python_single_target_python3_12

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

Bugs

Bug # Severity Platform Status Description
These bugs were grabbed from http://bugs.gentoo.org and have only passed a preliminary search using the package title, to do a more through search please visit: http://bugs.gentoo.org.