You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Investigate whether split_selections is necessary, or if we can rewrite the optimization part without it. The reason is that it makes the pretty printing a bit ugly with the current implementation, and to use it also with split_selections = True we would need to implement a different way of pretty printing (in this case, most likely asciitree).
The text was updated successfully, but these errors were encountered:
maxgalli
changed the title
Try to get rid of split_selections in Optimization
Try to get rid of split_selections in Optimization
Sep 1, 2020
Investigate whether
split_selections
is necessary, or if we can rewrite the optimization part without it. The reason is that it makes the pretty printing a bit ugly with the current implementation, and to use it also withsplit_selections = True
we would need to implement a different way of pretty printing (in this case, most likelyasciitree
).The text was updated successfully, but these errors were encountered: