From 1ee007eb0324456d4ab2597abc2565bb4484b6aa Mon Sep 17 00:00:00 2001
From: valentin_lechner <valentin_lechner@dismail.de>
Date: Fri, 16 Jun 2023 18:31:40 +0200
Subject: [PATCH] Aufnahme README

---
 README.md | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..ed0f055
--- /dev/null
+++ b/README.md
@@ -0,0 +1,7 @@
+# sathelper
+
+This is a c++ implementation of [biotomas' SatHelper](https://github.com/biotomas/SatHelper).
+
+As the original, it aims to improve the Boolean SAT (MaxSAT not yet implemented) users life.
+
+It is intended to be used as library.