Package Usage: cargo: cadical

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

An argumentation framework library & solver.

Size: 442 ko - Last synced: 3 mois ago - Pushed: 7 mois ago