Search 1 packages
| Packages1–1 of 1 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| cadical-sys cargo | 0.8.0 | clean | Almost complete safe and unsafe bindings for the CaDiCal SAT solver. Made using the cxx crate and then wrapped in a safe 1 to 1 API. | 11K | 5h ago |
