Search 6 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–6 of 6	Version	Findings	Description	Downloads	When
pindakaas cargo	0.6.0	clean	Encoding Integer and Pseudo Boolean constraints into CNF	36K	2h ago
pindakaas-cadical cargo	0.4.1	clean	build of the Cadical SAT solver for the pindakaas crate	34K	2h ago
pyndakaas cargo		not built 0.6.0 did not build	Python bindings for the pindakaas crate	1.4K	2h ago
pindakaas-kissat cargo	0.2.3	clean	build of the Kissat SAT solver for the pindakaas crate	1.3K	2h ago
pindakaas-intel-sat cargo	0.2.1	clean	build of the Intel SAT solver for the pindakaas crate	1.1K	2h ago
semitone cargo		not built 0.0.27 did not build	SeMiTONE is a Satisfiability Modulo TheOries NEtwork, allowing the creation of variables and constraints in different underlying theories.	417	2d ago