| Documentation | Status | Community | License |
|---|---|---|---|
 |
    |
 |
 |
JuliaReachTemplatePkg is a Julia template package for
the JuliaReach ecosystem.
This package requires Julia v1.0 or later. We refer to the official documentation on how to install and run Julia on your system.
Depending on your needs, choose an appropriate command from the following list
and enter it in Julia's REPL.
To activate the pkg mode, type ] (and to leave it, type <backspace>).
pkg> add JuliaReachTemplatePkgpkg> add JuliaReachTemplatePkg#masterpkg> dev JuliaReachTemplatePkg