Discrete Math labs + needed libraries