Exception: Z3::Exception

Inherits:

StandardError

• Object
• StandardError
• Z3::Exception

Defined in:

lib/z3/exception.rb