I've been slowly learning SAT/SMT, but the materials I've found are very academic. Being almost 20 years out of my CS degree and this being a rather niche field

I've been slowly learning SAT/SMT, but the materials I've found are very academic. Being almost 20 years out of my CS degree and this being a rather niche field, it's tough to learn, so I want to continue teaching myself and help others by creating useful "SAT/SMT for newbies".