From 7f85d1f39a84aac53efa697740ea1859777b65e8 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Wed, 20 Dec 2023 09:24:59 +0100
Subject: [PATCH] [README] Add alpha-beta-CROWN to the list of supported
 provers.

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

diff --git a/README.md b/README.md
index 4b7c5fc..e9ec46c 100644
--- a/README.md
+++ b/README.md
@@ -150,6 +150,7 @@ The following are the provers for which a support is provided in CAISAR:
 * PyRAT
 * [Marabou](https://github.com/NeuralNetworkVerification/Marabou)
 * [nnenum](https://github.com/stanleybak/nnenum)
+* [alpha-beta-CROWN](https://github.com/Verified-Intelligence/alpha-beta-CROWN)
 * [SAVer](https://github.com/abstract-machine-learning/saver)
 
 Moreover, CAISAR supports the [SMT-LIB](https://smtlib.cs.uiowa.edu/) format
-- 
GitLab