Last released Oct 5, 2026
An explainable inference software supporting annotated, real valued, graph based and temporal logic