Discrete mathematics Packages