SpaceEx modeling language parser
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
docs
examples
src
test
.gitignore
.travis.yml
LICENSE
README.md
REQUIRE
appveyor.yml
codecov.yml

README.md

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 v0.6 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:

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

Updating

To checkout the latest version, do

Pkg.checkout("SX")