libz3-4_4.4.1-0.3+b1_amd64.deb


Advertisement

Description

libz3-4 - theorem prover from Microsoft Research - runtime libraries

Distribution: Debian Sid
Repository: Debian Main amd64
Package name: libz3-4
Package version: 4.4.1
Package release: 0.3+b1
Package architecture: amd64
Package type: deb
Installed size: 16.12 KB
Download size: 4.96 MB
Official Mirror: ftp.br.debian.org
Description: unavailable.

Alternatives

Replaces

  • libz3-dev << 4.4.1

    Download

    Source package: z3

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install libz3-4 deb package:
      # sudo apt-get install libz3-4

    Changelog

    Advertisement
    Advertisement