Skip to content
Open-Source Registry

Search 62 packages

Found
Build behaviour
Packages61–62 of 62VersionFindingsDescriptionDownloadsWhen
sel-lang cargo0.10.0clean A small expression language for business rules: exact decimals, strict UTF-8, the same answer in seven languages, and a translator to SQL.73d ago
smtlite cargo0.1.0clean A small, pure-Rust QF_BV SMT solver: bitvector expressions bit-blasted to CNF and solved by a self-contained DPLL core.75h ago