[rowanG077]

Possible but the problem statement is generally way too large to throw into a SAT solver. You can do local problems with SAT though.