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_10 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_10 python_single_target_python3_11 python_single_target_python3_12

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

Runtime Dependencies

stp-2.3.4

dev-libs/boost:=
sci-mathematics/minisat:=
sys-libs/zlib:=

cryptominisat?
      ( dev-db/sqlite:3 dev-libs/icu:= sci-mathematics/cryptominisat:= )

python?
      ( python_single_target_python3_10?
            ( dev-lang/python:3.10 )
       python_single_target_python3_11?
            ( dev-lang/python:3.11 )
       python_single_target_python3_12?
            ( dev-lang/python:3.12 )
       python_single_target_python3_13?
            ( dev-lang/python:3.13 )
       )

stp-2.3.3-r3

dev-libs/boost:=
sci-mathematics/minisat:=
sys-libs/zlib:=

cryptominisat?
      ( dev-db/sqlite:3 dev-libs/icu:= sci-mathematics/cryptominisat:= )

python?
      ( python_single_target_python3_10?
            ( dev-lang/python:3.10 )
       python_single_target_python3_11?
            ( dev-lang/python:3.11 )
       python_single_target_python3_12?
            ( dev-lang/python:3.12 )
       )