Module imandra.u.reasoners.qepcad
Classes
class Client (reasoner=None, api_key=None, scheme=None, host=None, api_version=None)
-
Expand source code
class Client(BaseClient): _class_reasoner = "qepcad"
Ancestors
imandra.u.reasoners.qepcad
class Client
(reasoner=None, api_key=None, scheme=None, host=None, api_version=None)
class Client(BaseClient):
_class_reasoner = "qepcad"