I'm thinking of: - [`msolve`](https://github.com/algebraic-solving/msolve) - [`Sage`](https://github.com/sagemath/sage) (See #1760) - [`Singular`](https://github.com/Singular/Singular/) - [`Macaulay2`](https://github.com/Macaulay2/M2) - Change Nemo CI to nightly.