> if you're good at phrasing your problem in the right way

Check out https://sentient-lang.org/, it's a whole programming language for expressing problems as SAT!