exception documentation
class Prover9LimitExceededException(Prover9Exception): (source)
Constructor: Prover9LimitExceededException(returncode, message)
Undocumented
Inherited from Prover9Exception:
| Method | __init__ |
Undocumented |