diff --git a/README b/README index f379108e..6bcc9d57 100644 --- a/README +++ b/README @@ -37,7 +37,8 @@ Building ================================================================================ Install - [ TODO: ? ] + For ubuntu type destros: + > sudo apt-get install minisat ================================================================================ Directory Overview: