Search 1 packages
| Packages1–1 of 1 | Version | Findings | Vulns | Description | Downloads | When |
|---|---|---|---|---|---|---|
| crabsat cargo | 0.1.2 | none | none | A high-performance CDCL SAT solver inspired by Kissat | 33 | 2h ago |
Open-Source Registry
Open-Source Registry
| Packages1–1 of 1 | Version | Findings | Vulns | Description | Downloads | When |
|---|---|---|---|---|---|---|
| crabsat cargo | 0.1.2 | none | none | A high-performance CDCL SAT solver inspired by Kissat | 33 | 2h ago |