oxiz-core
Core AST, Sorts, and Traits 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
- 21
Releases per month
last 12 monthsRelease mix
- minor 1
- patch 6
8
releases
Dependencies
Depends on
0.2.3-
bumpalo
^3.20
-
hashbrown
^0.17
-
indexmap
^2.14
-
lasso
^0.7
-
num-bigint
^0.4
-
num-integer
^0.1
-
num-rational
^0.4
-
num-traits
^0.2
-
oxiz-math
^0.2.3
-
parking_lot
^0.12
1–10 of 21
Used by
10Releases