z3-src 416.0.2

Source distribution of the Z3 SMT solver, for use as a build dependency
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

############################################
# 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)