Theorem prover
Z3 is a theorem prover and satisfiability modulo theories (SMT) solver. It provides a C/C++ API, as well as Python bindings.
| System | Target | Derivation | Build status |
|---|---|---|---|
| x86_64-linux | /gnu/store/k8a3iv34m7ddgy105pq84jc054gjn834-z3-4.8.9.drv | ||
| x86_64-linux | i586-pc-gnu | /gnu/store/1sbwkyjamn6fi11jvcbda1fclbx6kcs8-z3-4.8.9.drv | |
| x86_64-linux | arm-linux-gnueabihf | /gnu/store/yihr2wfqnpd5l0qyj49h0m638cng35f0-z3-4.8.9.drv | |
| x86_64-linux | aarch64-linux-gnu | /gnu/store/vv9iswh1qg6mzf58wawjz96fks5jg7yv-z3-4.8.9.drv | |
| riscv64-linux | /gnu/store/jhx4pq3zvcgpgv9qjlh2m7zidgg35s7v-z3-4.8.9.drv | ||
| powerpc-linux | /gnu/store/3xpdqdl68lgmwj17xi5wksa4ndk3wsvc-z3-4.8.9.drv | ||
| powerpc64le-linux | /gnu/store/ksii3yn3v19iig6xkry1sxa95zpnqh7m-z3-4.8.9.drv | ||
| mips64el-linux | /gnu/store/ds7l32i7x2bs3sw4d3f9gi6c6fih4s7w-z3-4.8.9.drv | ||
| i686-linux | /gnu/store/6awz2i9vfcil8fdgxsk8i43pqqqdg2nm-z3-4.8.9.drv | ||
| i586-gnu | /gnu/store/vyfwhdacyfgzpydrqn5y04jxsv9qcskc-z3-4.8.9.drv | ||
| armhf-linux | /gnu/store/03vdcf0alvszws580392x6m27rjd94h7-z3-4.8.9.drv | ||
| aarch64-linux | /gnu/store/209sj3xk9h9swmxm0qc7f019fr70v9rz-z3-4.8.9.drv |
| Linter | Message | Location |
|---|---|---|
| optional-tests Make sure tests are only run when requested | the 'check' phase should respect #:tests? | |
| input-labels Identify input labels that do not match package names | label 'python' does not match package name 'python-wrapper' |