@@ -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.