Skip to content

Commit

Permalink
feat: switched to Java 21
Browse files Browse the repository at this point in the history
  • Loading branch information
ennioVisco committed Nov 30, 2023
1 parent 84d972b commit cbe099a
Showing 1 changed file with 9 additions and 1 deletion.
10 changes: 9 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand All @@ -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
```

0 comments on commit cbe099a

Please sign in to comment.