Module imandra.u.reasoners.core

Classes

class Client (reasoner=None, api_key=None, scheme=None, host=None, api_version=None)

Expand source code

class Client(BaseClient):
    _class_reasoner = "imandrax"

Ancestors

• Client