- 41comments
- 47comments
- 295comments
- —discuss
- 68comments
- 28comments
- 17comments
- 21comments
- 120comments
- 1comments
- 122comments
- 18comments
- 12comments
- 239comments
- 151comments
- 20comments
- 33comments
- 27comments
- 84comments
- 344comments
- 243comments
- 16comments
- 55comments
- 1comments
- 53comments
- 67comments
- 66comments
- 80comments
- 64comments
- 36comments
If anyone wondering, because it took me a few hops to find out:
Z3 is a high-performance theorem prover being developed at Microsoft Research.