ReachabilityBase.jl

The base library for the JuliaReach ecosystem
Author JuliaReach
Popularity
1 Star
Updated Last
1 Year Ago
Started In
June 2022

ReachabilityBase.jl

Documentation Status Community License
docs-dev CI codecov gitter license

The base library for the JuliaReach ecosystem

💾 Installing

From the Julia REPL type

julia> using Pkg; Pkg.add("ReachabilityBase")