Code for the class assignemnts at Coursera Logic course.