https://sat-smt.codes/ https://sat-smt.codes/ comes up on HN with some regularity, i think. "practical uses" tends to mean whatever the speaker wants it to mea

https://sat-smt.codes/ https://sat-smt.codes/ comes up on HN with some regularity, i think. "practical uses" tends to mean whatever the speaker wants it to mean, so no guarantees, but i think it covers a number of small useful tasks, in addition to many of the common code golf type things.