EulerSharp 10.2.9 screenshot A backward-chaining reasoner enhanced with Euler path detection Download EulerSharp 10.2.9