Tools and programs for calculations in Discrete