Logo Vanilla OS Packages
search
Ctrl K
storage

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

database

Architecture

amd64
category

Section

libdevel

home

Homepage

https://github.com/Z3Prover/z3

person

Maintainer

LLVM Packaging Team <[email protected]>

folder_zip

Filename

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

Depends Packages
libz3-4