Closed schillic closed 1 month ago
i think this was the purpose of #734
Does that mean there should be a separate module?
i focused too much on the "Refactor init constants" and forgot the "to their own module" part :)
unfortunately that issue doesn't have any associated description. we may as well just close it.
i think this was the purpose of https://github.com/JuliaReach/ReachabilityAnalysis.jl/issues/734