[davidcox143]

We're working on a new TUI for managing local and remote executions of optimization solvers like CBC, HiGHS, and our own hardware-accelerated solvers [2].

Ratatui is a delight to work with. It uses immediate mode rendering [3] which feels very intuitive compared to other TUI frameworks.

[1] https://github.com/integrated-reasoning/napali [2] https://reason.ing [3] https://ratatui.rs/concepts/rendering/