Package Usage: cargo: cadical

Rust bindings for the CaDiCaL SAT solver
14 versions
Latest release: over 2 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/crustabri

An argumentation framework library & solver.

Size: 304 KB - Last synced: 1 day ago - Pushed: over 1 year ago