Package Details

Information about "libz3-4"

label

Name

libz3-4

description

Description

theorem prover from Microsoft Research - runtime libraries

update

Version

4.13.3-1

category

Section

libs

home

Homepage

https://github.com/Z3Prover/z3

person

Maintainer

LLVM Packaging Team <[email protected]>

link

Depends

libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14)

thumb_up

Recommends

None

lightbulb

Suggests

None

block

Conflicts

None

swap_horiz

Replaces

libz3-dev (<< 4.4.1)

check_box

Provides

None

description

Filename

pool/main/z/z3/libz3-4_4.13.3-1_amd64.deb

Depends Recommends Suggests Conflicts Replaces Provides
Depends
libc6
libgcc-s1
libstdc++6