Search 62 packages
| Packages61–62 of 62 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| sel-lang cargo | 0.10.0 | clean | A small expression language for business rules: exact decimals, strict UTF-8, the same answer in seven languages, and a translator to SQL. | 7 | 3d ago |
| smtlite cargo | 0.1.0 | clean | A small, pure-Rust QF_BV SMT solver: bitvector expressions bit-blasted to CNF and solved by a self-contained DPLL core. | 7 | 5h ago |
