omena-smt 0.2.0

SMT-encoded cascade verification contracts for Omena CSS

Coverage
7.14%
10 out of 140 items documented0 out of 33 items with examples
Size
Source code size: 106.97 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 1.53 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 9s Average build duration of successful builds.
all releases: 8s Average build duration of successful builds in releases after 2024-10-23.
Links
omenien/omena-css
2 0 1
crates.io
Dependencies
Versions
- 0.2.0 (2026-06-03)
- 0.1.14 (2026-05-26)
Owners

omena-smt

omena-smt hosts M4-gamma SMT cascade verification contracts. The default build uses the stub backend; the only real solver backend currently exposed is the opt-in smt-z3 path.