From cbe099ad63797b35472318873c45aa6de43bdc68 Mon Sep 17 00:00:00 2001 From: Ennio Visconti Date: Thu, 30 Nov 2023 13:00:19 +0100 Subject: [PATCH] feat: switched to Java 21 --- README.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 7ce0e317..c737d986 100644 --- a/README.md +++ b/README.md @@ -10,7 +10,7 @@ Choosing the Boolean semantics the tool returns a Boolean satisfaction signal, t --> ### Prerequisites -It requires Java 21+ to run. +It requires Java 21+ in the running environment ### Usage as Maven package @@ -24,3 +24,11 @@ Check on [Maven Central](https://central.sonatype.com/artifact/io.github.moonlig e.g. Maven). For more information, please visit our [Wiki](https://github.com/MoonLightSuite/MoonLight/wiki) + + +### Usage as Python Package +You can install MoonLight as a Python package using pip: + +```shell +pip install moonlight +``` \ No newline at end of file