-
Notifications
You must be signed in to change notification settings - Fork 17
Dependencies
This package is compatible with the current stable release of Julia v1.3, with the long-term release v1.0.5 and with all intermediate versions. The package is expected to work under Linux OS, MacOS and Windows. If you find problems installing, do not hesitate to open an issue in the issue tracker.
Refer to the official documentation on how to install and run Julia in your system.
Once you have installed Julia in your system, open a Julia session, activate the
pkg mode (remember that to activate the pkg mode in Julia's REPL, you need to type ],
and to leave it, type <backspace>), and enter:
pkg> add ReachabilityAnalysis.jlThe set-based computations are handled by the library LazySets.jl,
which is part of the JuliaReach framework.
The full list of dependencies can be found in the Project.toml file in this repository,
in the [deps] section. These dependencies are installed automatically when
you add ReachabilityAnaysis.jl as explained in the previous paragraphs.