python-z3-solver
Version 4.15.1-1 from extra (x86_64)
- Description
- High-performance theorem prover
- Homepage
- https://github.com/Z3Prover/z3
- Base Package
- z3
- License(s)
- MIT
- Build Date
- Packager
- Antonio Rojas <arojas@archlinux.org>
- Package Size
- 269.11 KB
- Installed Size
- 2.49 MB
- Download Mirror
- https://cdn77.cachyos.org/repo/x86_64/extra/python-z3-solver-4.15.1-1-x86_64.pkg.tar.zst
- SHA256 Sum
- 869e5089d1a7bce9f4dacd7ab801657b3ff8be0cf5e786d8f84274f170b7202a
- Dependencies
- Optional Deps
- N/A
- Provides
- N/A
- Conflicts With
- Replaces
- Package Files