mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 02:45:51 +00:00
Code Activity
18818 commits 24 branches 48 tags 158 MiB
Commit graph

2 commits

Author SHA1 Message Date
Yisu Remy Wang
2280e9562a
Improve instructions for working with the Julia API (#7108) 2024-02-02 09:46:31 -08:00
ahumenberger
d706d43712
Update README with infos about Julia bindings (#4298) 
* Update README for Julia bindings

* Fix links in readme

* Add hash of z3_jll

* Fix typo
 2020-05-12 19:34:47 -07:00