Skip to content

Latest commit

 

History

History
44 lines (34 loc) · 2.59 KB

README.md

File metadata and controls

44 lines (34 loc) · 2.59 KB
Raw

SpaceExParser.jl

Documentation Status Community License
docs-dev CI codecov aqua dev-commits zulip license

SpaceExParser is a Julia package to parse SpaceEx modeling files.

Resources

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.