Friday, October 5, 2012

Z3: an efficient theorem prover

Z3 is a theorem prover being developed at Microsoft Research that has been published under a quasi-open source license this week.  Interesting.

No comments:

Post a Comment