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]. Rata

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 https://github.com/integrated-reasoning/napali [2] https://reason.ing https://reason.ing [3] https://ratatui.rs/concepts/rendering/ https://ratatui.rs/concepts/rendering/