Debug AnyCPU {280AEE2F-1FDB-4A27-BE37-14DC154C873B} Library Properties Microsoft.SolverFoundation.Plugin.Z3.Tests SolverFoundation.Plugin.Z3.Tests v4.0 512 true full false bin\Debug\ DEBUG;TRACE prompt 4 x86 pdbonly true bin\Release\ TRACE prompt 4 x86 ..\Microsoft.Solver.Foundation.dll {7340e664-f648-4ff7-89b2-f4da424996d3} SolverFoundation.Plugin.Z3