3 using System.Runtime.CompilerServices;
4 using System.Runtime.InteropServices;
5 using System.Security.Permissions;
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(
"")]
22 [assembly: ComVisible(
false)]
25 [assembly: Guid(
"4853ed71-2078-40f4-8117-bc46646bce0e")]
37 [assembly: AssemblyVersion(
"4.5.0.0")]
38 [assembly: AssemblyFileVersion(
"4.5.0.0")]