Skip to content
Open-Source Registry

Search 4 packages

found
reviewed
build behaviour
Packages1–4 of 4VersionRiskVulnsDescriptionDownloadsWhen
ferroplan-sat cargo0.29.0nonenoneferroplan's in-tree CDCL SAT solver — absorbed from varisat 0.2.2 and carried forward as ferroplan code2071d ago
surrealdb-cnf cargo3.3.4nonenoneA scalable, distributed, collaborative, document-graph database, for the realtime web20K4d ago
pindakaas cargo0.6.0nonenoneEncoding Integer and Pseudo Boolean constraints into CNF36K4d ago
smtlite cargo0.1.10nonenoneA small, pure-Rust QF_BV SMT solver: bitvector expressions bit-blasted to CNF and solved by a self-contained DPLL core.408d ago