add missing copyright

Signed-off-by: Nikolaj Bjorner <[email protected]>
wintersteiger · Jun 24, 2015 · 1bdedec · 1bdedec
1 parent baf95ce
commit 1bdedec
Show file tree

Hide file tree

Showing 3 changed files with 22 additions and 0 deletions.
diff --git 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
@@ -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
@@ -1,3 +1,10 @@
+############################################
+# Copyright (c) 2012 Microsoft Corporation
+# 
+# Z3 Python interface
+#
+# Author: Leonardo de Moura (leonardo)
+############################################
 """
 Usage:  
 import common_z3 as CM_Z3