oxiz-proof
Proof generation and checking for OxiZ SMT solver
- Latest release
- 1d ago
- Releases
- 8
- Known CVEs
- 0
- First release
- Jan 12, 2026
- License
- Apache-2.0
Repository
Source
- Stars
- —
- Forks
- —
- Open issues
- —
Security score
No OpenSSF Scorecard available for this repository.
Packages from this repo
Insights
Activity
- Total releases
- 8
- Last 12 months
- 8
- Cadence
- ~15 days
- Dependencies
- 14
Releases per month
last 12 monthsRelease mix
- minor 1
- patch 6
8
releases
Dependencies
Depends on
0.2.3-
bumpalo
^3.20
-
criterion
^0.8
dev
-
num-bigint
^0.4
-
num-rational
^0.4
-
num-traits
^0.2
-
oxiz-core
^0.2.3
-
oxiz-sat
^0.2.3
-
proptest
^1.11
dev
-
regex
^1.12
-
rustc-hash
^2.1
1–10 of 14
Used by
3Releases