About Anaconda Help Download Anaconda
Sign In
Anaconda.cloud

asmeurer / packages / z3 4.4.0

Z3 is a theorem prover from Microsoft Research.

  • License: MIT
  • 1589 total downloads
  • Last upload: 8 years and 8 months ago

Installers

  • linux-32 v4.4.0
  • linux-64 v4.4.0
  • osx-64 v4.4.0

conda install

Authentication Prerequisites:
anaconda login

To install this package run one of the following:
conda install asmeurer::z3

Description

None
© 2024 Anaconda, Inc. All Rights Reserved. (v4.0.1) Legal | Privacy Policy