From 77075e8d9b38e95c39264b1c59cc5866b908f0c2 Mon Sep 17 00:00:00 2001
From: "Jorge M.G" <jorge@on-orbit.dev>
Date: Fri, 7 May 2021 18:03:31 +0200
Subject: [PATCH] Update docs to arora2013

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

diff --git a/README.md b/README.md
index b101e1e..77d9c20 100644
--- 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?