diff --git a/README.md b/README.md
index 968e52038edc56acd52b28b2833d2d1772fc99ac..5e691230891ec5a7c693725fb6255c6915741c93 100644
--- a/README.md
+++ b/README.md
@@ -5,7 +5,7 @@ Reminder: I do not own this implementation. All the credit goes to Arenas et al.
 
 ---
 
-To test the implementation yourself, we recommend setting everything up first. To do so, we recommend cloning this repository, and following along the ReadMe [here](https://github.com/DiegoEmilio01/A-Symbolic-Language-for-Interpreting-Decision-Trees). After setting everything up, to find out more about our contribution feel free to come back here to find out more.
+To test the implementation yourself, we recommend setting everything up first. To do so, we recommend cloning this repository, and following along the ReadMe [here](https://github.com/DiegoEmilio01/A-Symbolic-Language-for-Interpreting-Decision-Trees). We recommend using the [kissat](https://github.com/arminbiere/kissat) SAT solver. After setting everything up, to find out more about our contribution feel free to come back here to find out more.
 
 ---