Skip to content
Open-Source Registry

Search 1 packages

Found
Build behaviour
Packages1–1 of 1VersionFindingsDescriptionDownloadsWhen
cadical-sys cargo0.8.0clean 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.11K5h ago