Last released Apr 8, 2026
A library to prototype inference engines with logical reasoning capabilities
Supported by