Comment by asicsp

https://davidkoloski.me/blog/intelligent-brute-forcing/ might help, if you don't already have some sort of automatic solver to figure out solutions.