This is the API documentation for tensai-logic-0.1.2 Documentation.