Package Details: | |
---|---|
Architectures: | all |
Description: | An abstraction layer for constraint solvers |
Repository: | archstrike |
Version: | 9.0.5327-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: Incomplete | x86_64: Done | armv6: Done | armv7: Done | armv8: Done |