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/9fn5rhx66f9ay81fdkpj2x428ddnmps2-z3-4.8.9.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/4mcbs0hiihzc6zn2fn3iak7y2nf6qpd1-z3-4.8.9.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/i2ixhwh1izjxgypjqzlqmvaa87bj73a5-z3-4.8.9.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/w7gn6kpmygyqvc0zca3kylgffhb68abj-z3-4.8.9.drv | |
riscv64-linux | /gnu/store/0j47fv570z7cqbhd58pj97dc1xj41g4s-z3-4.8.9.drv | ||
powerpc-linux | /gnu/store/1y8al27wl33knjqdfjypw8wgqbbs8r0m-z3-4.8.9.drv | ||
powerpc64le-linux | /gnu/store/6qafxddjk547iz4v3hd3i9qfd6w9hhxx-z3-4.8.9.drv | ||
mips64el-linux | /gnu/store/j41y3xlahr909q83fakjswv3kaq3bmig-z3-4.8.9.drv | ||
i686-linux | /gnu/store/wivxw81zl953hg0m86w4mnl4d5f6lz1x-z3-4.8.9.drv | ||
i586-gnu | /gnu/store/6svz6w0rk5r6q7vvn6ah8ddx3mzjfh3q-z3-4.8.9.drv | ||
armhf-linux | /gnu/store/6n868663zs7rfy7d0h242v7nsjlb5ha4-z3-4.8.9.drv | ||
aarch64-linux | /gnu/store/v0bxqnf8r9gqkjpa4dwh22k7mdf6216n-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' |