Last released May 4, 2026
An explainable inference software supporting annotated, real valued, graph based and temporal logic
Supported by
