The Z3 Theorem Prover

(github.com)

34 points | by benoitg 5 days ago ago

2 comments