z3
Z3 is a theorem prover from Microsoft Research.
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
osx-64/z3-4.4.0-py35_0.tar.bz2 | conda | 4.4.0 | osx-64 | main | Dec 22, 2015, 07:33 PM | 14.61 MB | 206 | |
osx-64/z3-4.4.0-py34_0.tar.bz2 | conda | 4.4.0 | osx-64 | main | May 22, 2015, 06:40 PM | 14.09 MB | 118 | |
linux-64/z3-4.4.0-py34_0.tar.bz2 | conda | 4.4.0 | linux-64 | main | May 22, 2015, 05:19 PM | 16.84 MB | 152 | |
linux-32/z3-4.4.0-py34_0.tar.bz2 | conda | 4.4.0 | linux-32 | main | May 22, 2015, 05:16 PM | 16.78 MB | 112 | |
linux-64/z3-4.4.0-py33_0.tar.bz2 | conda | 4.4.0 | linux-64 | main | May 22, 2015, 05:00 PM | 16.85 MB | 114 | |
linux-32/z3-4.4.0-py33_0.tar.bz2 | conda | 4.4.0 | linux-32 | main | May 22, 2015, 04:57 PM | 16.77 MB | 111 | |
osx-64/z3-4.4.0-py33_0.tar.bz2 | conda | 4.4.0 | osx-64 | main | May 22, 2015, 04:33 PM | 14.09 MB | 98 | |
linux-64/z3-4.4.0-py27_0.tar.bz2 | conda | 4.4.0 | linux-64 | main | May 22, 2015, 04:31 PM | 16.82 MB | 334 | |
linux-32/z3-4.4.0-py27_0.tar.bz2 | conda | 4.4.0 | linux-32 | main | May 22, 2015, 04:29 PM | 16.74 MB | 111 | |
osx-64/z3-4.4.0-py27_0.tar.bz2 | conda | 4.4.0 | osx-64 | main | May 21, 2015, 09:56 PM | 14.06 MB | 191 | |
linux-64/z3-4.4.0-py26_0.tar.bz2 | conda | 4.4.0 | linux-64 | main | May 21, 2015, 08:13 PM | 16.82 MB | 111 | |
linux-32/z3-4.4.0-py26_0.tar.bz2 | conda | 4.4.0 | linux-32 | main | May 21, 2015, 08:13 PM | 16.74 MB | 109 | |
osx-64/z3-4.4.0-py26_0.tar.bz2 | conda | 4.4.0 | osx-64 | main | May 21, 2015, 08:07 PM | 14.06 MB | 96 |