Project for Math163 discrete mathematics course at Willamette University