There are libraries based on this very concept. Instead of programming the solution, you program the "rules". And the library essentially a brute force (with br

There are libraries based on this very concept. Instead of programming the solution, you program the "rules". And the library essentially a brute force (with branch trimming) until it finds a solution for you.