EulerSharp 22.1208 screenshot

EulerSharp 22.1208 full

A backward-chaining reasoner enhanced with Euler path detection