python-z3_4.4.1-0.3+b1_i386.deb


Advertisement

Description

python-z3 - theorem prover from Microsoft Research - Python bindings

Distribution: Debian Sid
Repository: Debian Main i386
Package name: python-z3
Package version: 4.4.1
Package release: 0.3+b1
Package architecture: i386
Package type: deb
Installed size: 541 B
Download size: 65.37 KB
Official Mirror: ftp.br.debian.org
Description: unavailable.

Alternatives

    Download

    Source package: z3

    Install Howto

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

    Changelog

    Advertisement
    Advertisement