@whitequark@mastodon.social I feel like the fact that it's essentially just a bunch of bit operations with no outside effects help, correctly capturing them feels difficult with SMT, while comparing stateless circuits is way easier Very cool anyways