Compute Bell inequalities and their quantum violations.

A numerical library for evaluating the communication value of a quantum channel.

Certify the classical simulation cost of black-box systems.

A base library for quantum information.