Update docs to arora2013

Jorge M.G · Jorge M.G · commit 77075e8d9b38 · 2021-05-07T18:03:31.000+02:00
diff --git a/README.md b/README.md
@@ -33,7 +33,7 @@ print([solver.__name__ for solver in ALL_SOLVERS])
 At this moment, the following algorithms are available:
 
 ```bash
->>> ['gooding1990', 'izzo2015']
+>>> ['gooding1990', 'arora2013', 'izzo2015']
 ```
 
 ## How can I use a solver?
