Skip to content
Snippets Groups Projects
Commit 7f85d1f3 authored by Michele Alberti's avatar Michele Alberti
Browse files

[README] Add alpha-beta-CROWN to the list of supported provers.

parent f98ca871
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
README.md
+ 1
− 0
View file @ 7f85d1f3
...@@ -150,6 +150,7 @@ The following are the provers for which a support is provided in CAISAR: ...@@ -150,6 +150,7 @@ The following are the provers for which a support is provided in CAISAR:
* PyRAT * PyRAT
* [Marabou](https://github.com/NeuralNetworkVerification/Marabou) * [Marabou](https://github.com/NeuralNetworkVerification/Marabou)
* [nnenum](https://github.com/stanleybak/nnenum) * [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) * [SAVer](https://github.com/abstract-machine-learning/saver)
Moreover, CAISAR supports the [SMT-LIB](https://smtlib.cs.uiowa.edu/) format Moreover, CAISAR supports the [SMT-LIB](https://smtlib.cs.uiowa.edu/) format
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment