From 3b98d26259d192d04b7fec811bbb98eb0a4532ab Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=20Kr=C3=BCger?= Date: Sun, 24 Jan 2021 02:18:26 +0100 Subject: [PATCH] readme --- README.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/README.md b/README.md index 01c6956..87d2b96 100644 --- a/README.md +++ b/README.md @@ -3,9 +3,7 @@ ## dependencies * pysat -* [glucose](https://www.labri.fr/perso/lsimon/glucose/) -: version 4.1 -: put binary in ***util*** directory +* [glucose](https://www.labri.fr/perso/lsimon/glucose/) - version 4.1 - put binary in ***util*** directory * bzip2