oxiz-spacer
Property Directed Reachability (PDR/IC3) engine for OxiZ - Horn clause solving
- Latest release
- 22h 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
- 10
Releases per month
last 12 monthsRelease mix
- minor 1
- patch 6
8
releases
Dependencies
Depends on
0.2.3-
indexmap
^2.14
-
num-bigint
^0.4
-
num-rational
^0.4
-
oxiz-core
^0.2.3
-
oxiz-solver
^0.2.3
-
proptest
^1.11
dev
-
rustc-hash
^2.1
-
smallvec
^1.15
-
thiserror
^2.0
-
tracing
^0.1
Used by
1Releases