• Home
• tools.aqua
• z3-turnkey
• 4.13.0.1
• source code
• mk_exception.py

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

z3-z3-4.13.0.scripts.mk_exception.py Maven / Gradle / Ivy

############################################
# Copyright (c) 2012 Microsoft Corporation
# 
# Author: Leonardo de Moura (leonardo)
############################################

class MKException(Exception):
    def __init__(self, value):
        self.value = value
    def __str__(self):
        return repr(self.value)