jayant91089 / itcp Goto Github PK
View Code? Open in Web Editor NEWInformation Theoretic Converse Prover. A software for constructing explicit polyhedral converses in multi-source network coding. Also supports computation of weighted sum-rate bounds in network coding, worst case information ratio lower bounds in secret sharing, and graph guessing number upper bounds.