SpaceExParser.jl

SpaceEx modeling language parser
Author JuliaReach
Popularity
6 Stars
Updated Last
1 Year Ago
Started In
March 2018

SpaceExParser.jl

Build Status Docs latest license Code coverage Join the chat at https://gitter.im/JuliaReach/Lobby

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.

Usage