Constraint solving and planning with picat (2015)