v0.5.0

ClosedLoopReachability v0.5.0

Diff since v0.4.1

Merged pull requests:

• Support ReachabilityAnalysis v0.23.1 (#355) (@schillic)
• Report coverage of documentation (#356) (@schillic)
• Revise models (#357) (@schillic)
• Revise Literate script and deactivate notebook generation (#360) (@schillic)
• Revise CI scripts (#361) (@schillic)
• Outsource 'modelpath' to ReachabilityBase & load 'print_timed' in models instead of package (#362) (@schillic)
• #171 Concrete (= default) & lazy CartesianProductReconstructor (#363) (@schillic)
• Fix CI script for documentation deployment (#365) (@schillic)
• Support ReachabilityAnalysis 0.24 (#366) (@schillic)
• Rename 'alg' and 'alg_nn' arguments (#367) (@schillic)

Closed issues:

• Use concrete Cartesian product in solve (#171)
• Docs build became slow (#322)