update readme

README.md

@@ -1,6 +1,6 @@
 # ltl-learning
 
-This project implements the algorithm proposed by Neider & Gavran in their 2018 article [Learning Temporal Properties](https://arxiv.org/abs/1806.03953) using Python3 and the Z3 SAT solver (more specifically its python bindings z3py), allowing to learn an LTL Formula from traces containing ultimately periodic words.
+This project implements the algorithm proposed by Neider & Gavran in their 2018 article [Learning Temporal Properties](https://arxiv.org/abs/1806.03953) using Python3 and the Z3 SAT solver (more specifically its python bindings z3-solver), allowing to learn an LTL Formula from traces containing ultimately periodic words.
 
 This tool supports the traces being input as JSON files, a format easily readable both by humans and machines, allowing easy setup of simulation data.