@@ -2,4 +2,4 @@ The _libhpng_ is a Java library provided for the analysis and simulation of hybr
...
@@ -2,4 +2,4 @@ The _libhpng_ is a Java library provided for the analysis and simulation of hybr
There is a _Main.java_ included (in the package _main_) for the basic use of the _libhpng_ library. Its _main_ function is a console application using _Java Spring Shell_ ([http://projects.spring.io/spring-shell/](http://projects.spring.io/spring-shell/)) for the user's input. We recommend to use _Maven_ ([https://maven.apache.org/](https://maven.apache.org/)) for a proper inclusion of all needed referenced libraries.
There is a _Main.java_ included (in the package _main_) for the basic use of the _libhpng_ library. Its _main_ function is a console application using _Java Spring Shell_ ([http://projects.spring.io/spring-shell/](http://projects.spring.io/spring-shell/)) for the user's input. We recommend to use _Maven_ ([https://maven.apache.org/](https://maven.apache.org/)) for a proper inclusion of all needed referenced libraries.
You can find a list of the [list of shell commands](https://github.com/jannikhuels/libhpng/wiki/Shell-commands),[information on the required input](https://github.com/jannikhuels/libhpng/wiki/The-required-model-file) in this section.
You can find a list of the [list of shell commands](https://github.com/jannikhuels/libhpng/wiki/Shell-commands) as well as information on [the required input](https://github.com/jannikhuels/libhpng/wiki/The-required-model-file) and on the [definition of properties](https://github.com/jannikhuels/libhpng/wiki/Model-checking-properties) in this section.
