Module imandra.u.reasoners.mace4

Classes

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

Expand source code

class Client(BaseClient):
    _class_reasoner = "mace4"

Ancestors

• Client