mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-30 05:40:06 +00:00
Code Issues Releases Activity
303514f7f4
freebsd-ports/math/py-z3-solver/pkg-descr
Yuri Victorovich 7b989edc68 math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website 
z3 is a different project on PyPI.

Reported by:	koobs
2018-07-30 20:17:04 +00:00

5 lines
127 B
Plaintext
Raw Blame History

Python binding for Z3, a high-performance theorem prover developed
at Microsoft Research.
WWW: https://github.com/Z3Prover/z3
Reference in New Issue View Git Blame Copy Permalink