A Planner for Both Satisfaction and Optimization Problems

Open in new window