oxiz-math
Mathematical foundations 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
- 11
Releases per month
last 12 monthsRelease mix
- minor 1
- patch 6
8
releases
Dependencies
Depends on
0.2.3-
criterion
^0.8
dev
-
hashbrown
^0.17
-
num-bigint
^0.4
-
num-integer
^0.1
-
num-rational
^0.4
-
num-traits
^0.2
-
proptest
^1.11
dev
-
rand
^0.10
-
rustc-hash
^2.1
-
smallvec
^1.15
1–10 of 11
Used by
4Releases