29bc48da by Ulrich Schoepp

Loesche Ausgabe der Formel

1 parent ed4d2787
......@@ -67,7 +67,6 @@ public class Damen {
public static void main(String[] args) throws TimeoutException {
Map<Object, Boolean> eta = satisfiable(damen());
System.out.println(damen());
if (eta == null) {
System.out.println("Nicht erfuellbar.");
} else {
......
Styling with Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!