Last released Aug 5, 2025
A symbolic reasoning toolkit for building logic-driven agents and AGI research.
Supported by