add missing copyright

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

examples/msf/SolverFoundation.Plugin.Z3.Tests/ServiceTests.cs

@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 using System;
 using System.Collections.Generic;
 using System.Linq;

examples/msf/SolverFoundation.Plugin.Z3.Tests/SolverTests.cs

@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 using System;
 using System.Collections.Generic;
 using System.Linq;

examples/msf/SolverFoundation.Plugin.Z3/AbortWorker.cs

@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 using System;
 using System.Collections.Generic;
 using System.Linq;

examples/msf/SolverFoundation.Plugin.Z3/Utils.cs

@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 using System;
 using System.Collections.Generic;
 using System.Linq;

examples/msf/SolverFoundation.Plugin.Z3/Z3BaseDirective.cs

@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 using System;
 using System.Text;
 using Microsoft.SolverFoundation.Services;

examples/msf/SolverFoundation.Plugin.Z3/Z3BaseParams.cs

@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 using Microsoft.SolverFoundation.Services;
 using System;
 

examples/msf/SolverFoundation.Plugin.Z3/Z3BaseSolver.cs

@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 using System;
 using System.Collections.Generic;
 using System.Threading;

examples/msf/SolverFoundation.Plugin.Z3/Z3MILPDirective.cs

@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 using Microsoft.SolverFoundation.Services;
 using System;
 

examples/msf/SolverFoundation.Plugin.Z3/Z3MILPParams.cs

@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 using Microsoft.SolverFoundation.Services;
 using System;
 

examples/msf/SolverFoundation.Plugin.Z3/Z3MILPSolver.cs

@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 using System;
 using System.Collections.Generic;
 using System.Diagnostics;

examples/msf/SolverFoundation.Plugin.Z3/Z3TermDirective.cs

@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 using Microsoft.SolverFoundation.Services;
 using System;
 

examples/msf/SolverFoundation.Plugin.Z3/Z3TermParams.cs

@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 using Microsoft.SolverFoundation.Services;
 using System;
 

examples/msf/SolverFoundation.Plugin.Z3/Z3TermSolver.cs

@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 using System;
 using System.Threading;
 using System.Globalization;

examples/msf/Validator/Program.cs

@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 using System;
 using System.IO;
 using System.Linq;