Package Usage: cargo: cadical

Rust bindings for the CaDiCaL SAT solver
14 versions
Latest release: about 3 years 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/scalop

An argumentation framework library & solver.

Size: 442 KB - Last synced: 4 days ago - Pushed: 5 days ago