function SATPLAN [pseudo-code](https://github.com/aimacode/aima-pseudocode/blob/master/md/SATPlan.md)