a python for Discrete mathematics