Discrete-mathematics Packages