Package Usage: cargo: cadical
Rust bindings for the CaDiCaL SAT solver
14 versions
Latest release: plus de 2 ans ago
4 dependent packages
13 594 downloads total
View more package details: https://packages.ecosystem.code.gouv.fr/registries/crates.io/packages/cadical
Dependent Repos 1
crillab/crustabri
An argumentation framework library & solver.Size: 304 ko - Last synced: 7 jours ago - Pushed: plus d'un an ago
