mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
clarified README with information provided in issue #163.
This commit is contained in:
parent
7f6ef0b6c0
commit
e5b702b3f1
Loading…
Reference in a new issue