LazySets_julia_v_1.4.jl

LazySets_julia_v_1.4.jl

```julia
              _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.4.0 (2020-03-21)
 _/ |\__'_|_|_|\__'_|  |  Official https://julialang.org/ release
|__/                   |

(@v1.4) pkg> add CDDLib
  Resolving package versions...
  Installed CodecZlib ──────────────────── v0.7.0
  Installed RecipesBase ────────────────── v0.8.0
  Installed CodecBzip2 ─────────────────── v0.7.1
  Installed FixedPointNumbers ──────────── v0.8.0
  Installed ParameterJuMP ──────────────── v0.2.0
  Installed CDDLib ─────────────────────── v0.6.0
  Installed MbedTLS ────────────────────── v1.0.1
  Installed MathOptInterface ───────────── v0.9.13
  Installed MbedTLS_jll ────────────────── v2.16.0+1
  Installed CompilerSupportLibraries_jll ─ v0.3.1+0
  Installed Polyhedra ──────────────────── v0.6.1
  Installed JuMP ───────────────────────── v0.21.1
Downloading artifact: MbedTLS
######################################################################## 100.0%-Downloading artifact: CompilerSupportLibraries
######################################################################## 100.0%-   Updating `~/.julia/environments/v1.4/Project.toml`
  [3391f64e] + CDDLib v0.6.0
   Updating `~/.julia/environments/v1.4/Manifest.toml`
  [6e4b80f9] + BenchmarkTools v0.5.0
  [b99e7846] + BinaryProvider v0.5.8
  [6e34b625] + Bzip2_jll v1.0.6+1
  [3391f64e] + CDDLib v0.6.0
  [49dc2e85] + Calculus v0.5.1
  [523fee87] + CodecBzip2 v0.7.1
  [944b1d66] + CodecZlib v0.7.0
  [3da002f7] + ColorTypes v0.10.0
  [bbf7d656] + CommonSubexpressions v0.2.0
  [e66e0078] + CompilerSupportLibraries_jll v0.3.1+0
  [864edb3b] + DataStructures v0.17.10
  [163ba53b] + DiffResults v1.0.2
  [b552c78f] + DiffRules v1.0.1
  [53c48c17] + FixedPointNumbers v0.8.0
  [f6369f11] + ForwardDiff v0.10.9
  [4d00f742] + GeometryTypes v0.7.6
  [cd3eb016] + HTTP v0.8.13
  [83e8ac13] + IniFile v0.5.0
  [c8e1da08] + IterTools v1.3.0
  [682c06a0] + JSON v0.21.0
  [7d188eb4] + JSONSchema v0.2.0
  [4076af6c] + JuMP v0.21.1
  [b8f27783] + MathOptInterface v0.9.13
  [739be429] + MbedTLS v1.0.1
  [c8ffd9c3] + MbedTLS_jll v2.16.0+1
  [d8a4904e] + MutableArithmetics v0.2.7
  [77ba4419] + NaNMath v0.3.3
  [efe28fd5] + OpenSpecFun_jll v0.5.3+3
  [bac558e1] + OrderedCollections v1.1.0
  [774612a8] + ParameterJuMP v0.2.0
  [69de0a69] + Parsers v0.3.12
  [67491407] + Polyhedra v0.6.1
  [3cdcf5f2] + RecipesBase v0.8.0
  [276daf66] + SpecialFunctions v0.10.0
  [90137ffa] + StaticArrays v0.12.1
  [3bb67fe8] + TranscodingStreams v0.9.5
  [83775a58] + Zlib_jll v1.2.11+8
  [2a0f44e3] + Base64 
  [ade2ca70] + Dates 
  [8ba89e20] + Distributed 
  [b77e0a4c] + InteractiveUtils 
  [76f85450] + LibGit2 
  [8f399da3] + Libdl 
  [37e2e46d] + LinearAlgebra 
  [56ddb016] + Logging 
  [d6f4376e] + Markdown 
  [a63ad114] + Mmap 
  [44cfe95a] + Pkg 
  [de0858da] + Printf 
  [3fa0cd96] + REPL 
  [9a3f8284] + Random 
  [ea8e919c] + SHA 
  [9e88b42a] + Serialization 
  [6462fe0b] + Sockets 
  [2f01184e] + SparseArrays 
  [10745b16] + Statistics 
  [8dfed614] + Test 
  [cf7118a7] + UUIDs 
  [4ec0a83e] + Unicode 
   Building CDDLib → `~/.julia/packages/CDDLib/UOZHh/deps/build.log`

julia> using CDDLib
[ Info: Precompiling CDDLib [3391f64e-dcde-5f30-b752-e11513730f60]

(@v1.4) pkg> add LazySets
  Resolving package versions...
^[[1;2B  Installed Requires ─ v1.0.1
  Installed LazySets ─ v1.17.0
   Updating `~/.julia/environments/v1.4/Project.toml`
  [b4f0291d] + LazySets v1.17.0
   Updating `~/.julia/environments/v1.4/Manifest.toml`
  [96374032] + CRlibm v0.8.0
  [34da2185] + Compat v2.2.0
  [90fa49ef] + ErrorfreeArithmetic v0.5.0
  [fa42c844] + FastRounding v0.3.1
  [60bf3e95] + GLPK v0.12.1
  [3c7084bd] + GLPKMathProgInterface v0.4.4
  [d1acc4aa] + IntervalArithmetic v0.16.1
  [b4f0291d] + LazySets v1.17.0
  [fdba3010] + MathProgBase v0.7.8
  [189a3867] + Reexport v0.2.0
  [ae029012] + Requires v1.0.1
  [3cc68bcd] + SetRounding v0.2.0
  [8bb1440f] + DelimitedFiles 
  [1a1011a3] + SharedArrays 

(@v1.4) pkg> add Polyhedra
  Resolving package versions...
   Updating `~/.julia/environments/v1.4/Project.toml`
  [67491407] + Polyhedra v0.6.1
   Updating `~/.julia/environments/v1.4/Manifest.toml`
 [no changes]

julia> using LazySets
[ Info: Precompiling LazySets [b4f0291d-fe17-52bc-9479-3d1a343d9043]
WARNING: Method definition rank(SparseArrays.SparseMatrixCSC{Tv, Ti} where Ti<:Integer where Tv) in module SPQR at /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.4/SuiteSparse/src/spqr.jl:369 overwritten in module Arrays at /home/mforets/.julia/packages/LazySets/Q4Amt/src/Arrays/matrix_operations.jl:19.
  ** incremental compilation may be fatally broken for this module **

```