Search 3 packages

Found detections shipping vulnerabilities yanked

Build behaviour fetched outside the registry undeclared fetch fetch went into the output linked a downloaded binary read credentials connected outside the registry

Packages1–3 of 3	Version	Findings	Description	Downloads	When
resolvo cargo	0.12.2	clean	Fast package resolver written in Rust (CDCL based SAT solving)	826K	9h ago
oxiz-sat cargo	0.3.4	clean	High-performance CDCL SAT Solver for OxiZ	16K	2h ago
oxiz-solver cargo	0.3.4	clean	Main CDCL(T) Solver API for OxiZ	15K	2h ago