add readme to trunk

2024-08-09 15:33:08 +02:00
1 changed files with 4 additions and 0 deletions
--- a/README.md
+++ 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.