A Quantitative Information Flow C++ Toolkit Library.