It is stated in on the page https://juliareach.github.io/ReachabilityAnalysis.jl/dev/man/benchmarks/model_library/ that mentions the Model library that
As it is explained in the documentation of that library, once installed use it as [...]
However, the link leads to https://juliareach.github.io/ReachabilityModels.jl/dev/, which actually does not contain any explanation about the usage. Indeed, the page named "Usage" is empty. True, this could perhaps be regarded as an Issue for the other package (ReachabilityModels), but I view it as an issue relevant for the current package too, because it contains a link that does not lead to the the kind of information that it claims.
It is stated in on the page https://juliareach.github.io/ReachabilityAnalysis.jl/dev/man/benchmarks/model_library/ that mentions the Model library that
However, the link leads to https://juliareach.github.io/ReachabilityModels.jl/dev/, which actually does not contain any explanation about the usage. Indeed, the page named "Usage" is empty. True, this could perhaps be regarded as an Issue for the other package (ReachabilityModels), but I view it as an issue relevant for the current package too, because it contains a link that does not lead to the the kind of information that it claims.