Skip to content
Open-Source Registry

Search 4 packages

Found
Build behaviour
Packages1–4 of 4VersionFindingsDescriptionDownloadsWhen
owl-dl-tableau cargo0.4.36clean Tableau-based reasoning engine for SROIQ used by rustdl5102d ago
hyperdb-api-core cargonot built 1.0.0-rc.5 did not buildInternal implementation details for hyperdb-api. Not a stable API; use hyperdb-api instead.9642d ago
hyperdb-bootstrap cargo1.0.0-rc.5clean Download and install the hyperd executable from the PyPI tableauhyperapi wheels5082d ago
owl-dl-reasoner cargonot built Hybrid saturation+tableau OWL DL reasoner — public API for rustdl4222d ago