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