itip
A python package dedicated to help proving information inequalities in quantum information theory.