An SMT-LIB formatter.
Why do you think that https://github.com/DTW-DanWard/PowerShell-Beautifier is a good alternative to smtfmt
An SMT-LIB formatter.
Why do you think that https://github.com/DTW-DanWard/PowerShell-Beautifier is a good alternative to smtfmt