| aarch64 | pmmx | ppc | ppc64 | x86_64 |
|---|---|---|---|---|
| ✓ 4.8.6-r0 | ✓ 4.8.6-r0 | ✓ 4.8.6-r0 | ✓ 4.8.6-r0 | ✓ 4.8.6-r0 |
| Description | Mathematical theorem prover (Python bindings) |
|---|---|
| License | MIT |
| Repository | user |
| Parent package | z3 |
| Maintainer | A. Wilcox |
| Size | 1.2 MiB |
| Updated | Sun Oct 6 17:46:11 2019 UTC |
| Revision | 8389dfaf961fa1588d8d565788dbd7c41800be11 |
| Source files | View git repository |
Adélie is an independent Linux distribution committed to integrity, privacy, and user freedom. Your donation might be tax-deductible.