From 7789d8bed89177d869d1e440eb108775233e10b9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?B=C3=BCnyamin=20Dincer?= <bunyamin.dincer2003@gmail.com>
Date: Mon, 15 Jul 2024 17:48:55 +0200
Subject: [PATCH] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 968e520..5e69123 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.
 
 ---
 
-- 
GitLab