PolynomialZonotopes is a Julia package that extends
LazySets.jl to the non-convex sets representation given by polynomial zonotopes.
It is written in Julia, a modern high-performance language for scientific computing.
WARNING: This package has been deprecated and is no longer maintained. The functionality in this package has been moved to LazySets.jl.
This package requires Julia v0.6. Refer to the official documentation on how to install and run Julia in your system.
To install the LazySets.jl dependency, use the following command inside Julia's REPL:
Pkg.clone("https://github.com/JuliaReach/LazySets.jl")For further information see the installation section of LazySets.jl.
To install this package, use the following command inside Julia's REPL:
Pkg.clone("https://github.com/JuliaReach/PolynomialZonotopes.jl")To checkout the latest version, do
Pkg.checkout("PolynomialZonotopes")