Never really thought about #verifying the #correctness of #simple #equations and ensuring they are #programmed correctly: https://lemire.me/blog/2021/11/11/checki.. Quite an interesting use of a #solver !