From 73296d190bb38f24fd64cc5dcf8f590c7eaeb6a6 Mon Sep 17 00:00:00 2001
From: Fabian Posch <fabian@posch.tech>
Date: Fri, 9 Aug 2024 15:33:08 +0200
Subject: [PATCH] add readme to trunk

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

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..26cd512
--- /dev/null
+++ b/README.md
@@ -0,0 +1,4 @@
+# Minisat
+
+This Git repository holds all major release versions of [Minisat](http://minisat.se/Main.html) plus occasional patches for your convenience.
+To get a specific version, see the branches of this repository.