1 files changed, 0 insertions, 19 deletions
diff --git a/src/prop/minisat/README b/src/prop/minisat/README
deleted file mode 100644
index e1b79329b..000000000
--- a/src/prop/minisat/README
+++ /dev/null
@@ -1,19 +0,0 @@
-Directory overview:
-==================
-
-mtl/            Mini Template Library
-core/           A core version of the solver
-simp/           An extended solver with simplification capabilities
-README
-LICENSE
-
-To build (release version: without assertions, statically linked, etc):
-======================================================================
-
-cd { core | simp }
-gmake rs
-
-Usage:
-======
-
-TODO