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/kb64qav59m05yd5rmfyqql8ml4w6im0j-ocaml-z3-4.8.17.drv | ||
riscv64-linux | /gnu/store/zparlg0dn3xp00f4bj596gp2057hip15-ocaml-z3-4.8.17.drv | ||
powerpc-linux | /gnu/store/cxhisky2jvkxv47zh4jk73r53pzdi8j1-ocaml-z3-4.8.17.drv | ||
powerpc64le-linux | /gnu/store/mzvi1g1gxfj11bxbk2aaqmlj8bcjxppx-ocaml-z3-4.8.17.drv | ||
mips64el-linux | /gnu/store/f3czqkp4lbwhsxn60qcjrvp3jk2hmqc0-ocaml-z3-4.8.17.drv | ||
i686-linux | /gnu/store/n0fn6khk0h71f7j0ypp4aanjc39i3i1n-ocaml-z3-4.8.17.drv | ||
i586-gnu | /gnu/store/x9fm4pj3iaz18rhah6kfb1bh87yv5i83-ocaml-z3-4.8.17.drv | ||
armhf-linux | /gnu/store/4xl78pa6pimhrl8maqll05wa810hxl08-ocaml-z3-4.8.17.drv | ||
aarch64-linux | /gnu/store/87gbnz3gd6z1zmp08j1givxfl3mvhrsb-ocaml-z3-4.8.17.drv |
Linter | Message | Location |
---|---|---|
input-labels Identify input labels that do not match package names | label 'python' does not match package name 'python-wrapper' |