Discrete Math Library