Prompted by the discussion on how widely SAT solvers are used in practice, I wrote a blog post explaining a bit of the relationship between SAT and SMT:

This started as a response to's newsletter, but he suggested I turn it into a blog post.

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!