1<?xml version="1.0"?>
2<configuration>
3  <configSections>
4    <section name="MsfConfig"
5             type="Microsoft.SolverFoundation.Services.MsfConfigSection, Microsoft.Solver.Foundation"
6             allowLocation="true"
7             allowDefinition="Everywhere"
8             allowExeDefinition="MachineToApplication"
9             restartOnExternalChanges="true"
10             requirePermission="true"/>
11  </configSections>
12  <MsfConfig>
13    <MsfPluginSolvers>
14      <MsfPluginSolver name="Microsoft Z3 MILP Solver"
15                       capability="MILP"
16                       assembly="SolverFoundation.Plugin.Z3.dll"
17                       solverclass="Microsoft.SolverFoundation.Plugin.Z3.Z3MILPSolver"
18                       directiveclass="Microsoft.SolverFoundation.Plugin.Z3.Z3MILPDirective"
19                       parameterclass="Microsoft.SolverFoundation.Plugin.Z3.Z3MILPParams"/>
20      <MsfPluginSolver name="Microsoft Z3 MILP Solver"
21                       capability="LP"
22                       assembly="SolverFoundation.Plugin.Z3.dll"
23                       solverclass="Microsoft.SolverFoundation.Plugin.Z3.Z3MILPSolver"
24                       directiveclass="Microsoft.SolverFoundation.Plugin.Z3.Z3MILPDirective"
25                       parameterclass="Microsoft.SolverFoundation.Plugin.Z3.Z3MILPParams"/>
26
27      <MsfPluginSolver name="Microsoft Z3 Term Solver"
28                       capability="MILP"
29                       assembly="SolverFoundation.Plugin.Z3.dll"
30                       interface="Microsoft.SolverFoundation.Services.ITermSolver"
31                       solverclass="Microsoft.SolverFoundation.Plugin.Z3.Z3TermSolver"
32                       directiveclass="Microsoft.SolverFoundation.Plugin.Z3.Z3TermDirective"
33                       parameterclass="Microsoft.SolverFoundation.Plugin.Z3.Z3TermParams"/>
34      <MsfPluginSolver name="Microsoft Z3 Term Solver"
35                       capability="LP"
36                       assembly="SolverFoundation.Plugin.Z3.dll"
37                       interface="Microsoft.SolverFoundation.Services.ITermSolver"
38                       solverclass="Microsoft.SolverFoundation.Plugin.Z3.Z3TermSolver"
39                       directiveclass="Microsoft.SolverFoundation.Plugin.Z3.Z3TermDirective"
40                       parameterclass="Microsoft.SolverFoundation.Plugin.Z3.Z3TermParams"/>
41      <MsfPluginSolver name="Microsoft Z3 Term Solver"
42                       capability="MINLP"
43                       assembly="SolverFoundation.Plugin.Z3.dll"
44                       interface="Microsoft.SolverFoundation.Services.ITermSolver"
45                       solverclass="Microsoft.SolverFoundation.Plugin.Z3.Z3TermSolver"
46                       directiveclass="Microsoft.SolverFoundation.Plugin.Z3.Z3TermDirective"
47                       parameterclass="Microsoft.SolverFoundation.Plugin.Z3.Z3TermParams"/>
48      <MsfPluginSolver name="Microsoft Z3 Term Solver"
49                       capability="NLP"
50                       assembly="SolverFoundation.Plugin.Z3.dll"
51                       interface="Microsoft.SolverFoundation.Services.ITermSolver"
52                       solverclass="Microsoft.SolverFoundation.Plugin.Z3.Z3TermSolver"
53                       directiveclass="Microsoft.SolverFoundation.Plugin.Z3.Z3TermDirective"
54                       parameterclass="Microsoft.SolverFoundation.Plugin.Z3.Z3TermParams"/>
55    </MsfPluginSolvers>
56  </MsfConfig>
57<startup>
58  <supportedRuntime version="v4.0" sku=".NETFramework,Version=v4.0"/>
59</startup>
60</configuration>
61