Solving a math problem with planner programming (by hwayne) — discussion

#compsci #plt