Z3 2.0
Sponsored Links
Z3 2.0 Ranking & Summary
File size:
18.7 MB
Platform:
Windows All
License:
Freeware
Price:
FREE
Downloads:
13
Date added:
2009-06-26
Publisher:
Microsoft
Z3 2.0 description
Z3 2.0 brings you a SMT solver which combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems.
Z3 is a new high-performance theorem prover being developed at Microsoft Research. Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers.
Enhancements:
- New features:
- Parallel Z3. Thanks to Christoph Wintersteiger there is a binary supporting running multiple instances of Z3 from different threads, but more interestingly, also making use of multiple cores for a single formula.
- Check Assumptions. The binary API exposes a new call Z3_check_assumptions, which allows passing in additional assumptions while checking for consistency of the already asserted formulas. The API function returns a subset of the assumptions that were used in an unsatisfiable core. It also returns an optional proof object.
- Proof Objects. The Z3_check_assumptions returns a proof object if the configuration flag PROOF_MODE is set to 1 or 2.
- Non-linear arithmetic using Groebner basis computation.
- Recursive data-types. The theory of well-founded recursive data-types is supported over the binary APIs. It supports ground satisfiability checking for tuples, enumeration types (scalars), lists and mutually recursive data-types.
- Main changes to the API:
- The names of the basic objects exposed by Z3 have been renamed from type to sort.
- The managed API uses the type-safe context by default. Using the type-safe context, every term, sort and function declaration is managed in a .NET object. The non-type safe version (RawContext) uses integer pointers for these different types.
Z3 2.0 Screenshot
Z3 2.0 Keywords
Z3 2.0
API
SMT
SMT solver
z3
2.0
assumptions
theory
solver
solvers
Z
Z3 2.0
Components & Libraries
Software Development
Bookmark Z3 2.0
Z3 2.0 Copyright
WareSeeker periodically updates pricing and software information of Z3 2.0 full version from the publisher, so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft, Using crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of Z3 2.0 Edition. Download links are directly from our publisher sites, torrent files or links from rapidshare.com, yousendit.com or megaupload.com are not allowed
Featured Software
Want to place your software product here?
Please contact us for consideration.
Contact WareSeeker.com
Related Information
Related Software
The BMW Z3 Desktop. The Ultimate Sports Car, The Ultimate Driving Machine. ... Free Download
The BMW Z3 was the first modern mass-market roadster produced by BMW. Free Download
Help high school students improve their skills in Mathematics, Physics, and Chemistry. Free Download
Mathematics of finance / performed for the German and European market -> PAngV ZinsMath -> high performance net yield solver Free Download
dilutions, conversions, solution problems, radioactive decay, and more equations Free Download
tool for reverse engineering, mathematical modeling and declarative programming Free Download
UK national lottery software. Create, store and check your lottery entries. View any previous draw since the lottery began to check old tickets. See which balls are draw more often or which have not b Free Download
Theory X Software, Theory Y Software, Theory Z Software, McGregor, Ouchi (Strategic Analysis, Management) Free Download
Latest Software
Popular Software
Favourite Software
