Hello 🐦, from ratatui issue #[1855](https://github.com/ratatui/ratatui/issues/1855); There might be a condition that causes the solver to never finish resolving.