Benign crates 405 installs Download

oxiz-spacer 0.3.3

“Property Directed Reachability (PDR/IC3) engine for OxiZ - Horn clause solving”

Archive ships a root-level test treeRust test marker or harness
SHA-2560632985ca2b33628b165ba07878f47f5d87c5ed3602ad29a76752c0d5b40fe64
URLhttps://static.crates.io/crates/oxiz-spacer/oxiz-spacer-0.3.3.crate
MaleculeH(F)Md(Pa₂)

Evidence

No evidence locations were recorded for this file. Raw result

Keyboard shortcuts on this page: j for the next sample, k for the previous one, x to go back to the feed, d to download the original bytes, r to re-queue the sample for analysis.