Module imandra.u.reasoners.acl2

Classes

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

Expand source code

class Client(BaseClient):
    _class_reasoner = "acl2"

Ancestors

• Client