Embed Notice

@sandmouth@types.pl @whitequark@mastodon.social it's not that SMTLIB doesn't solve problems, but it's that it doesn't really give a good interface for many of them. A lot of the time you don't truly need the whole SMT thing to achieve good results. There are certainly things where there is enough overlap between different types of problems where SMT starts to really make sense, but without that, I think it's way better to go and use the more specialized tools, because for many, the interface is simpler and way more thought out and the performance is better.