PyPI page
Home page
Author:
Nicholas Ehsan Roy
Summary:
Harness-driven verification for JAX scientific computing, with jaxpr as the verification IR.
Latest version:
0.2.0
Optional dependencies:
cvc5
|
jax
|
z3-solver
Downloads last day:
0
Downloads last week:
12
Downloads last month:
20
7-day smoothing