crates.io : pindakaas-cadical
build of the Cadical SAT solver for the pindakaas crate
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/pindakaas-cadical
Keywords:
boolean
, encoding
, logic
, sat
, satisfiability
, cnf
, pseudo-boolean
, sat-encodings
License: MIT
Latest release: 21 days ago
First release: 21 days ago
Downloads: 236 total
Stars: 4 on GitHub
Forks: 4 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 6 days ago
Loading...
Readme
Loading...