Language

Package: z3 @ 4.8.9

Synopsis

Theorem prover

Description

Z3 is a theorem prover and satisfiability modulo theories (SMT) solver. It provides a C/C++ API, as well as Python bindings.

Home page
https://github.com/Z3Prover/z3
Location
gnu/packages/maths.scm (line: 5726, column: 2)
License

Lint warnings

LinterMessageLocation
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?