omena-smt 0.3.0

SMT-encoded cascade verification contracts for Omena CSS

Size
Source code size: 96.63 kB This is the summed size of all the files inside the crates.io package for this release.
Ø build duration
all releases: 8s Average build duration of successful builds in releases after 2024-10-23.
Links
omenien/omena-css
2 0 5
crates.io
Dependencies
Versions
Owners

docs.rs failed to build omena-smt-0.3.0
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.

Visit the last successful build: omena-smt-0.2.0

omena-smt

omena-smt hosts SMT-backed cascade verification contracts. Solver-free product proofs live in omena-cascade-proof; this lab crate keeps the opt-in smt-z3 backend and the z3-only layer-inversion path.