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/iizlkdazj38w132am7bk70hrnrxpfjck-z3-4.8.9.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/41arjs86ky073k3ny9lbxzw2w7sl95av-z3-4.8.9.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/ybma1mcga57c11ab13cc53bdj0pm41yz-z3-4.8.9.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/dks47swv64zj4cr2h8l412c65k2bz1sz-z3-4.8.9.drv | |
powerpc-linux | /gnu/store/6fjplx4c454s4g0g4vfygj82bn8d9d53-z3-4.8.9.drv | ||
powerpc64le-linux | /gnu/store/n90mzqggymyh91dzdff0p7w9hgzy0nyl-z3-4.8.9.drv | ||
mips64el-linux | /gnu/store/fvg4c74k8cfd7l3fc7mnqc3ya1h8zz9f-z3-4.8.9.drv | ||
i686-linux | /gnu/store/mis79f4m57k7qs29sxwb4nlvq1w3yh4s-z3-4.8.9.drv | ||
i586-gnu | /gnu/store/nbwsimkswkiix62s7ak23gnnympgkxxx-z3-4.8.9.drv | ||
armhf-linux | /gnu/store/l7bgizk9r8zjfxhzf5dx0f3f5in26gyl-z3-4.8.9.drv | ||
aarch64-linux | /gnu/store/31jbc0rkqdxp4km25dg27x1i3pksiwhn-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' | |
optional-tests Make sure tests are only run when requested | the 'check' phase should respect #:tests? |