From 3af545784bf53a465424457620f288c51ed94083 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 17 Jun 2015 12:48:16 -0700 Subject: [PATCH] add missing copyright Signed-off-by: Nikolaj Bjorner --- src/api/python/z3test.py | 7 +++++++ src/api/python/z3types.py | 8 ++++++++ src/api/python/z3util.py | 7 +++++++ 3 files changed, 22 insertions(+) diff --git a/src/api/python/z3test.py b/src/api/python/z3test.py index 9b894d7ad..38939cebf 100644 --- a/src/api/python/z3test.py +++ b/src/api/python/z3test.py @@ -1,3 +1,10 @@ +############################################ +# Copyright (c) 2012 Microsoft Corporation +# +# Z3 Python interface +# +# Author: Leonardo de Moura (leonardo) +############################################ import z3, doctest r = doctest.testmod(z3) diff --git a/src/api/python/z3types.py b/src/api/python/z3types.py index e01b78238..44b19d33a 100644 --- a/src/api/python/z3types.py +++ b/src/api/python/z3types.py @@ -1,3 +1,11 @@ +############################################ +# Copyright (c) 2012 Microsoft Corporation +# +# Z3 Python interface +# +# Author: Leonardo de Moura (leonardo) +############################################ + import ctypes, z3core class Z3Exception(Exception): diff --git a/src/api/python/z3util.py b/src/api/python/z3util.py index e0e9aba32..38e406723 100644 --- a/src/api/python/z3util.py +++ b/src/api/python/z3util.py @@ -1,3 +1,10 @@ +############################################ +# Copyright (c) 2012 Microsoft Corporation +# +# Z3 Python interface +# +# Author: Leonardo de Moura (leonardo) +############################################ """ Usage: import common_z3 as CM_Z3