Logo Vanilla OS Packages
search
Ctrl K
storage

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

database

Architecture

amd64
category

Section

libs

home

Homepage

https://github.com/Z3Prover/z3

person

Maintainer

LLVM Packaging Team <[email protected]>

folder_zip

Filename

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

Depends Packages
libc6
libgcc-s1
libstdc++6