/z3

High-performance theorem prover developed at Microsoft Research

This repository is not active