Search 10 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
Packages 1–10 of 10 Version Findings Description Downloads When owl-dl-reasoner cargo not built Hybrid saturation+tableau OWL DL reasoner — public API for rustdl 422 2d ago howl-reasoner cargo 0.1.0 clean 4h ago wicked-estate-memory-core cargo 0.21.0 clean Core types + differentiated logic for wicked-estate memory: tiers, scope, reasoner seam, salience/decay, recall rerank+budget, and the extended MemoryApi trait. 1.3K 1d ago owl-dl-core cargo 0.4.36 clean Core IR, normalization, and shared utilities for the rustdl OWL DL reasoner 743 2d ago owl-dl-datatypes cargo not built Datatype reasoners (xsd:boolean, xsd:integer, xsd:string, ...) for rustdl 589 2d ago owl-dl-saturation cargo 0.4.36 clean Consequence-based saturation engine for the EL fragment, used by rustdl 545 2d ago owl-dl-tableau cargo 0.4.36 clean Tableau-based reasoning engine for SROIQ used by rustdl 510 2d ago rustdl cargo 0.4.36 clean OWL 2 DL (SROIQ) reasoner in Rust — umbrella crate re-exporting owl-dl-reasoner and its pinned horned-owl 158 1d ago owl-dl-cli cargo 0.4.36 2 vulnerabilities 2 Command-line interface for the rustdl OWL DL reasoner 157 1d ago owl-dl-verify cargo 0.4.36 clean Diagnostic verification harness for the rustdl OWL 2 DL reasoner. A `Violated` verdict is a lead requiring adjudication against a peer reasoner, not a proof of… 80 2d ago
