SpaceExParser.jl

Documentation	Status	Community	License

SpaceExParser is a Julia package to parse SpaceEx modeling files.

Resources

• Manual
• Contributing
• Release notes
• Release notes of the development version

Installing

This package requires Julia v1.0 or later. Refer to the official documentation on how to install and run Julia in your system.

To install the package SpaceExParser, use the following command inside Julia's REPL:

using Pkg
Pkg.clone("https://github.com/JuliaReach/SpaceExParser.jl")

Dependencies. This package relies on the interfaces defined in HybridSystems.jl and MathematicalSystems.jl. To handle XML files, we use EzXML.jl. Symbolic algebraic manipulations are performed with SymEngine.