Advanced Search Tips

Z3

Submitted by on Jun 18 2014 Suggest Revision
By: Andreas Bauer, Martin Leucker, Christian Schallhart, and Michael Tautschnig
From: Microsoft Research
Paper:
Resource Type:
Code
License:
Other/Unknown
Language:
Python
Data Format:

Description

Z3 is a high-performance theorem prover being developed at Microsoft Research.
Post comment
Cancel