v0.5.1

ReachabilityAnalysis v0.5.1

Diff since v0.5.0

Merged pull requests:

• Update transitions + time_shift (#175) (@mforets)
• deps (#176) (@mforets)
• Time shift fixes (#177) (@mforets)
• Hybrid solve (#178) (@mforets)
• Add docs for some common gotchas using TMJets (#180) (@mforets)
• Add rsetrep for solutions (#182) (@mforets)
• Dummy algorithm for disjointness check (#184) (@mforets)
• Fix dim getter function of identity map (#185) (@mforets)
• Update constructors.jl (#186) (@mforets)
• Update Project.toml (#188) (@mforets)