Debug AnyCPU 10.0.20305 2.0 {82b43b9b-a64c-4715-b499-d71e9ca2bd60};{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC} {6E9A5E14-0763-471C-A129-80A879D9E7BA} Library Properties DafnyLanguage DafnyLanguageService v4.0 512 false true full false bin\Debug\ DEBUG;TRACE prompt 4 pdbonly true bin\Release\ TRACE prompt 4 False ..\..\..\..\Binaries\AbsInt.dll False ..\..\..\..\Binaries\AIFramework.dll False ..\..\..\..\Binaries\Basetypes.dll False ..\..\..\..\Binaries\CodeContractsExtender.dll False ..\..\..\..\Binaries\Core.dll False ..\..\..\..\Binaries\DafnyPipeline.dll ..\..\..\..\Binaries\Graph.dll ..\..\..\..\Binaries\Houdini.dll ..\..\..\..\Binaries\Model.dll ..\..\..\..\Binaries\ParserHelper.dll ..\..\..\..\Binaries\Provers.Z3.dll ..\..\..\..\Binaries\Provers.SMTLib.dll ..\..\..\..\Binaries\VCExpr.dll False ..\..\..\..\Binaries\VCGeneration.dll False False False True False False False False true Always Designer true Always cd copy ..\..\..\..\..\..\Binaries\DafnyPrelude.bpl $(ProjectDir) copy ..\..\..\..\..\..\Binaries\UnivBackPred2.smt2 $(ProjectDir)