z3/README.md

5 lines
55 B
Markdown
Raw Permalink Normal View History

2024-01-05 20:02:34 +01:00
# z3
Z3 is a theorem prover from Microsoft Research.