oxiz-sat
High-performance CDCL SAT Solver for OxiZ
- 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
- 10
Releases per month
last 12 monthsRelease mix
- minor 1
- patch 6
8
releases
Dependencies
Depends on
0.2.3-
hashbrown
^0.17
-
libm
^0.2
-
oxiz-core
^0.2.3
-
portable-atomic-util
^0.2
-
proptest
^1.11
dev
-
rayon
^1.12
-
rustc-hash
^2.1
-
serde_json
^1.0
dev
-
smallvec
^1.15
-
tracing
^0.1
Used by
5Releases