chris/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
ports/math/py-z3-solver/pkg-descr
T
chris e3bf0031f1 initial commit for ports
2026-10-04 04:07:15 +00:00

3 lines
90 B
Plaintext
Raw Permalink Blame History

Python binding for Z3, a high-performance theorem prover developed
at Microsoft Research.
Reference in New Issue View Git Blame Copy Permalink