Follow

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: jix.one/the-assembly-language-

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

Sign in to participate in the conversation
Mathstodon

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