The Z3 Theorem Prover

(github.com)

31 points | by benoitg a day ago ago

2 comments