Update README.md

formalsec · Apr 17, 2024 · 1419c56 · 1419c56
1 parent c98632a
commit 1419c56
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-[![Build badge](https://github.com/formalsec/ocaml-cvc5/actions/workflows/build.yml/badge.svg)](https://github.com/formalsec/ocaml-cvc5/actions) ![Platform](https://img.shields.io/badge/platform-linux%20%7C%20macos-lightgrey)
+[![Build badge](https://github.com/formalsec/ocaml-cvc5/actions/workflows/build.yml/badge.svg)](https://github.com/formalsec/ocaml-cvc5/actions) [![GPL-3.0](https://img.shields.io/github/license/formalsec/ocaml-cvc5)](LICENSE) ![Platform](https://img.shields.io/badge/platform-linux%20%7C%20macos-lightgrey)
 
 ocaml-cvc5 
 ===============================================================================
@@ -44,4 +44,4 @@ Run examples with:
 dune exec -- examples/toy.exe  #replace toy with any other example
 ```
 
-[cvc5]: https://github.com/cvc5/cvc5
+[cvc5]: https://github.com/cvc5/cvc5