Crate axioval

Batteries-included facade for the Axioval rule engine.

Re-exports

pub use axioval_engine as engine;

pub use axioval_ir as ir;

pub use axioval_rules as rules;

pub use axioval_axiolid as axiolid;

pub use axioval_icdd as icdd;

pub use axioval_openbim as openbim;

Functions

default_registry

Builds the maintained trusted capability registry.