Vibecoded continuation of the blog post "Solving LinkedIn Queens with SMT"