From 68a0667e862f0714410aafbb499a95a03f5bee23 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Tue, 28 Apr 2020 00:29:00 -0400 Subject: Able to run Pledge Case Study --- .../output/27-1505/problem.logicproblem | 151 +++++++++++++++++++++ 1 file changed, 151 insertions(+) create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1505/problem.logicproblem (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1505/problem.logicproblem') diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1505/problem.logicproblem b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1505/problem.logicproblem new file mode 100644 index 00000000..eaf86353 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1505/problem.logicproblem @@ -0,0 +1,151 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + -- cgit v1.2.3-70-g09d2