Control over output formats and files

[sayanmitracode]

Options to create outputs at different levels of verbosity.
Storing the outputs (reachtubes, safe/unsafe results, counter-examples, plots) at appropriate places.
Documentation for the same.