Theorem prover
Z3 is a theorem prover and satisfiability modulo theories (SMT) solver. It provides a C/C++ API, as well as Python bindings.
| 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? |