Module imandra.u.reasoners.z3

Classes

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

Expand source code

class Client(BaseClient):
    _class_reasoner = "z3"

Ancestors

• Client