Search 4 packages
| Packages1–4 of 4 | Version | Risk | Vulns | Description | Downloads | When |
| ferroplan-sat cargo | 0.29.0 | none | none | ferroplan's in-tree CDCL SAT solver — absorbed from varisat 0.2.2 and carried forward as ferroplan code | 207 | 1d ago |
| surrealdb-cnf cargo | 3.3.4 | none | none | A scalable, distributed, collaborative, document-graph database, for the realtime web | 20K | 4d ago |
| pindakaas cargo | 0.6.0 | none | none | Encoding Integer and Pseudo Boolean constraints into CNF | 36K | 4d ago |
| smtlite cargo | 0.1.10 | none | none | A small, pure-Rust QF_BV SMT solver: bitvector expressions bit-blasted to CNF and solved by a self-contained DPLL core. | 40 | 8d ago |