Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-sdggen / target / maven-status / maven-compiler-plugin / compile / default-compile / inputFiles.lst

diff --git a/JMCR-Stable/mcr-sdggen/target/maven-status/maven-compiler-plugin/compile/default-compile/inputFiles.lst b/JMCR-Stable/mcr-sdggen/target/maven-status/maven-compiler-plugin/compile/default-compile/inputFiles.lst
new file mode 100644 (file)
index 0000000..f9b4264
--- /dev/null
+++ b/JMCR-Stable/mcr-sdggen/target/maven-status/maven-compiler-plugin/compile/default-compile/inputFiles.lst
@@ -0,0 +1 @@
+/scratch/satcheck/satproject/constraint_compiler/src/Benchmarks/JMCR/mcr-sdggen/src/main/java/main/generateSDG.java