Logic trainer for Software Development, Spring 2014