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/8qvxkhq7y578k68n4nj6sqlk1pys3w8j-ocaml-z3-4.8.9.drv | ||
riscv64-linux | /gnu/store/96r2hf7b7ag3afg896pzbs7v4wwcx87d-ocaml-z3-4.8.9.drv | ||
powerpc-linux | /gnu/store/m35rwpfrycvyqf19ml3kln0yzbw899xm-ocaml-z3-4.8.9.drv | ||
powerpc64le-linux | /gnu/store/zs3pbkg9j06fk7xr0gc53m94p3p1m8vf-ocaml-z3-4.8.9.drv | ||
mips64el-linux | /gnu/store/aargax34krckw0nr6isgzyg6lbn3dd8w-ocaml-z3-4.8.9.drv | ||
i686-linux | /gnu/store/mkvx3r7d89baixwpnasd48p5irh1827d-ocaml-z3-4.8.9.drv | ||
i586-gnu | /gnu/store/3w76pr0v4jngsamkpg9hrm780wqwda5c-ocaml-z3-4.8.9.drv | ||
armhf-linux | /gnu/store/ivaifbxkmijkmqwnqzcryf9ibvhpg2jv-ocaml-z3-4.8.9.drv | ||
aarch64-linux | /gnu/store/93mn7zyv63m75v181dcndn5d8s9vjav9-ocaml-z3-4.8.9.drv |
Linter | Message | Location |
---|---|---|
input-labels Identify input labels that do not match package names | label 'python' does not match package name 'python-wrapper' |