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