If somebody needs the libraries, please let me know.
Search Criteria
Package Details: z3-bin 4.1-1
Package Actions
- View PKGBUILD
- Download tarball
- Search wiki
- Flagged out-of-date (2014-10-26)
| Package Base: | z3-bin |
|---|---|
| Description: | An automatic theorem prover |
| Upstream URL: | http://research.microsoft.com/en-us/um/redmond/projects/z3 |
| Category: | devel |
| Licenses: | |
| Submitter: | pherms |
| Maintainer: | None |
| Last Packager: | None |
| Votes: | 10 |
| First Submitted: | 2009-11-05 16:34 |
| Last Updated: | 2012-09-30 11:32 |