Package Details

Information about "libz3-dev"

label

Name

libz3-dev

description

Description

theorem prover from Microsoft Research - development files

update

Version

4.13.3-1

category

Section

libdevel

home

Homepage

https://github.com/Z3Prover/z3

person

Maintainer

LLVM Packaging Team <[email protected]>

link

Depends

libz3-4 (= 4.13.3-1)

thumb_up

Recommends

None

lightbulb

Suggests

None

block

Conflicts

None

swap_horiz

Replaces

None

check_box

Provides

None

description

Filename

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

Depends Recommends Suggests Conflicts Replaces Provides
Depends
libz3-4