A template package for JuliaReach projects
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
src
test
.appveyor.yml
.gitignore
.travis.yml
LICENSE
Project.toml
README.md
REQUIRE

README.md

JuliaReachTemplatePkg

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

JuliaReachTemplatePkg is a Julia template package for the JuliaReach ecosystem.

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

using Pkg
Pkg.add("JuliaReachTemplatePkg")

Updating

To checkout the latest version, do

Pkg.checkout("JuliaReachTemplatePkg")