| Version | Change log |
| Simple Solver 5.5.5 Jan 23, 2022 | Minor update |
| Simple Solver 5.5.4 Aug 7, 2021 | add (3) Perm examples |
| Simple Solver 5.5.3 Jan 19, 2021 | add Metastable oscillation info and examples |
| Simple Solver 5.5.2 Aug 7, 2020 | update to TLS 1.2 |
| Simple Solver 5.5.1 Jun 4, 2020 | enable hyperlinks in comments |
| Simple Solver 5.4.9 Jan 8, 2019 | Boolean tool: Increase the maximum number of variables to 30 |
