dummy-link

SX

SpaceEx modeling language parser

Readme

SX.jl

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

SX is a Julia package to parse SpaceEx modeling files.

Resources

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.

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 SX, use the following command inside Julia's REPL:

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

Updating

To checkout the latest (development) version, do:

Pkg.add(PackageSpec(url="https://github.com/JuliaReach/SX.jl", rev="master"))

First Commit

03/10/2018

Last Touched

4 months ago

Commits

70 commits

Used By: