Search 4 packages
| Packages1–4 of 4 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| owl-dl-tableau cargo | 0.4.36 | clean | Tableau-based reasoning engine for SROIQ used by rustdl | 510 | 2d ago |
| hyperdb-api-core cargo | not built 1.0.0-rc.5 did not build | Internal implementation details for hyperdb-api. Not a stable API; use hyperdb-api instead. | 964 | 2d ago | |
| hyperdb-bootstrap cargo | 1.0.0-rc.5 | clean | Download and install the hyperd executable from the PyPI tableauhyperapi wheels | 508 | 2d ago |
| owl-dl-reasoner cargo | not built | Hybrid saturation+tableau OWL DL reasoner — public API for rustdl | 422 | 2d ago |
