FreeBSD port math/py-z3-solver

Python binding for Z3 Theorem Prover

Summary

Count	6 occurrences
State	Dead
Last occurred	02/15/2021
Habitening next	08/21/2021
Age	937 days
Average	187 days
Honeymoon	96 days
Trend	Decreasing
In degree	0
Out degree	1
External links	https://www.freshports.org/math/py-z3-solver/ (FreshPorts) https://cgit.freebsd.org/ports/tree/math/py-z3-solver (cgit) https://svnweb.freebsd.org/ports/head/math/py-z3-solver/?view=log (SVN) https://cgit.freebsd.org/ports/tree/math/py-z3-solver/pkg-descr (Long description)