BSD Portsmath/py-z3-solver 4.8.17_1 DragonFly
Python binding for Z3 Theorem Prover
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- MIT
- Categories
- math
- Package size
- 232.0 KiB, 2587.0 KiB installed
Description
Python binding for Z3, a high-performance theorem prover developed at Microsoft Research.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | math/py-z3-solver | 4.8.17_1 |
| FreeBSD | math/py-z3-solver | 5.3.1.0 |
| HardenedBSD | math/py-z3-solver | 5.1.0.0 |
| GhostBSD | math/py-z3-solver | 5.1.0.0 |
Install
Binary package:
pkg install py311-z3-solverFrom DPorts:
cd /usr/dports/math/py-z3-solver && make install clean