Z3
AssemblyInfo.cs
Go to the documentation of this file.
1 using System;
2 using System.Reflection;
3 using System.Runtime.CompilerServices;
4 using System.Runtime.InteropServices;
5 using System.Security.Permissions;
6 
7 // General Information about an assembly is controlled through the following
8 // set of attributes. Change these attribute values to modify the information
9 // associated with an assembly.
10 [assembly: AssemblyTitle("Z3 .NET Interface")]
11 [assembly: AssemblyDescription(".NET Interface to the Z3 Theorem Prover")]
12 [assembly: AssemblyConfiguration("")]
13 [assembly: AssemblyCompany("Microsoft Corporation")]
14 [assembly: AssemblyProduct("Z3")]
15 [assembly: AssemblyCopyright("Copyright (C) 2006-2015 Microsoft Corporation")]
16 [assembly: AssemblyTrademark("")]
17 [assembly: AssemblyCulture("")]
18 
19 // Setting ComVisible to false makes the types in this assembly not visible
20 // to COM components. If you need to access a type in this assembly from
21 // COM, set the ComVisible attribute to true on that type.
22 [assembly: ComVisible(false)]
23 
24 // The following GUID is for the ID of the typelib if this project is exposed to COM
25 [assembly: Guid("4853ed71-2078-40f4-8117-bc46646bce0e")]
26 
27 // Version information for an assembly consists of the following four values:
28 //
29 // Major Version
30 // Minor Version
31 // Build Number
32 // Revision
33 //
34 // You can specify all the values or you can default the Build and Revision Numbers
35 // by using the '*' as shown below:
36 // [assembly: AssemblyVersion("4.2.0.0")]
37 [assembly: AssemblyVersion("4.5.0.0")]
38 [assembly: AssemblyFileVersion("4.5.0.0")]