From ae02ee247ac913e893e4b1c6819e50ae92cde674 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Thu, 17 Aug 2017 15:08:07 +0200
Subject: [PATCH] SAT Package erstellen

---
 src/de/dhbwstuttgart/sat/CNF/CNF.java    |  8 ++++++++
 src/de/dhbwstuttgart/sat/CNF/Writer.java | 12 ++++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 src/de/dhbwstuttgart/sat/CNF/CNF.java
 create mode 100644 src/de/dhbwstuttgart/sat/CNF/Writer.java

diff --git a/src/de/dhbwstuttgart/sat/CNF/CNF.java b/src/de/dhbwstuttgart/sat/CNF/CNF.java
new file mode 100644
index 00000000..e5d9b3d0
--- /dev/null
+++ b/src/de/dhbwstuttgart/sat/CNF/CNF.java
@@ -0,0 +1,8 @@
+package de.dhbwstuttgart.sat.CNF;
+
+public class CNF {
+    /*
+    Baut die CNF Datei.
+    Hier muss man überlegen, in welchem Form die Constraints gebaut werden
+     */
+}
diff --git a/src/de/dhbwstuttgart/sat/CNF/Writer.java b/src/de/dhbwstuttgart/sat/CNF/Writer.java
new file mode 100644
index 00000000..c366686a
--- /dev/null
+++ b/src/de/dhbwstuttgart/sat/CNF/Writer.java
@@ -0,0 +1,12 @@
+package de.dhbwstuttgart.sat.CNF;
+
+import java.io.*;
+
+/**
+ * Schreibt CNFs in eine Datei im DIMACS CNF Format
+ */
+public class Writer {
+    public Writer(FileWriter output){
+
+    }
+}