Module `imandra.u.reasoners.zipperposition`

Classes

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

Expand source code

class Client(BaseClient):
    _class_reasoner = "zipperposition"