Playing Alloy Tasks and To Do - Christian Stone