Sign in Sign up
cargo

rustsat-cadical

Interface to the SAT solver CaDiCaL for the RustSAT library.

Latest release
Jan 30, 2026
Releases
22
Known CVEs
0
First release
Aug 23, 2023
License
MIT
View on Cargo
Repository

Source

chrjabs/rustsat
Stars
Forks
Open issues

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

Insights

Activity

Total releases
22
Last 12 months
3
Cadence
~42 days
Dependencies
11

Releases per month

last 12 months

Release mix

  • minor 4
  • patch 17
22 releases
Dependencies

Depends on

0.7.5
1–10 of 11

Used by

1
Releases
Version Released
0.7.5 patch
0.7.4 patch
0.7.3 patch
0.7.2 patch
0.7.1 patch
0.7.0 minor
0.4.6 patch
0.4.5 patch
0.4.4 patch
0.4.3 patch
0.4.2 patch
0.4.1 patch
0.4.0 minor
0.3.1 patch
0.3.0 minor
0.2.4 patch
0.2.3 patch
0.2.2 patch
0.2.1 patch
0.2.0 minor
1–20 of 22