Project assignment for the Logic for Programming course @ IST 2012