Sign in Sign up
cargo

oxiz-solver

Main CDCL(T) Solver API for OxiZ

Latest release
1d ago
Releases
8
Known CVEs
0
First release
Jan 12, 2026
License
Apache-2.0
View on Cargo
Repository

Source

cool-japan/oxiz
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
15

Releases per month

last 12 months

Release mix

  • minor 1
  • patch 6
8 releases
Dependencies

Depends on

0.2.3
1–10 of 15

Used by

5
Releases
Version Released
0.2.3 patch
0.2.2 patch
0.2.1 patch
0.2.0 minor
0.1.3 patch
0.1.2 patch
0.1.1 patch
0.1.0 initial yanked