| Package Details: | |
|---|---|
| Architectures: | all |
| Description: | An abstraction layer for constraint solvers |
| Repository: | archstrike |
| Version: | 9.1.11752-1 |
| Sources: | Package Files / PKGBUILD |
| Dependencies: |
|---|
| python |
| python-ana |
| python-z3 |
| python-future |
| python-cachetools |
| python-setuptools (build) |
| Package Build Status | ||||
|---|---|---|---|---|
| i686 Build Status: | x86_64 Build Status: | armv6 Build Status: | armv7 Build Status: | armv8 Build Status: | i686: Done | x86_64: Done | armv6: Incomplete | armv7: Done | armv8: Done |