gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/boolector

Fast SMT solver for bit-vectors, arrays and uninterpreted functions

Screenshots

  • boolector-3.2.3
    ~amd64 ~x86
    cryptominisat examples +gmp minisat +picosat python test python_single_target_python3_10 python_single_target_python3_11 python_single_target_python3_12

    View      Download      Browse     License: MIT   
    Overlay: gentoo
  • boolector-3.2.2_p20220110
    ~amd64 ~x86
    cryptominisat examples +gmp minisat +picosat python test python_single_target_python3_9 python_single_target_python3_10 python_single_target_python3_11

    View      Download      Browse     License: MIT   
    Overlay: gentoo

Runtime Dependencies

boolector-3.2.3

sci-mathematics/btor2tools:=

cryptominisat?
      ( sci-mathematics/cryptominisat:= )

gmp?
      ( dev-libs/gmp:= )

minisat?
      ( sci-mathematics/minisat:= )

picosat?
      ( sci-mathematics/picosat:= )

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

boolector-3.2.2_p20220110

sci-mathematics/btor2tools:=

cryptominisat?
      ( sci-mathematics/cryptominisat:= )

gmp?
      ( dev-libs/gmp:= )

minisat?
      ( sci-mathematics/minisat:= )

picosat?
      ( sci-mathematics/picosat:= )

python?
      ( python_single_target_python3_9?
            ( >=dev-lang/python-3.9.16-r1:3.9 )
       python_single_target_python3_10?
            ( >=dev-lang/python-3.10.9-r1:3.10 )
       python_single_target_python3_11?
            ( >=dev-lang/python-3.11.1-r1:3.11 )
       )