chore: add test resources, adapt naming to the scheme

ProvideQ · Feb 2, 2025 · 54823a4 · 54823a4
1 parent 0a58699
commit 54823a4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/main/java/edu/kit/provideq/toolbox/sharpsat/SharpSatConfiguration.java b/src/main/java/edu/kit/provideq/toolbox/sharpsat/SharpSatConfiguration.java
@@ -15,7 +15,7 @@
 public class SharpSatConfiguration {
 
   public static final ProblemType<String, Integer> SHARPSAT = new ProblemType<>(
-      "sharpSat",
+      "sharpsat",
       String.class,
       Integer.class,
       null

diff --git a/src/main/resources/edu/kit/provideq/toolbox/sharpsat/simple-and.txt b/src/main/resources/edu/kit/provideq/toolbox/sharpsat/simple-and.txt
@@ -0,0 +1 @@
+a and b