Constraint Solving and Planning with Picat (SpringerBriefs in Intelligent Systems)