Many useful discrete mathematics algorithms have been implemented. - View it on GitHub