Z3 theorem prover in Microsoft Store, and retrocomputing Frama-C package Pascal Cuoq on 23 December 2011
This page where Microsoft Research's Z3 theorem prover is on sale for for just a bit less than $15 000 has come to my attention. This is interesting because Z3 is at the same time a free download. Note that the free download is covered by this license (executive summary:...
Read More