All Downloads are FREE. Search and download functionalities are using the official Maven repository.

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

There is a newer version: 4.13.0.1
Show newest version
############################################
# 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)





© 2015 - 2024 Weber Informatics LLC | Privacy Policy