Reference
The header <kitty/isop.hpp> implements methods to compute irredundant sum-of-products (ISOP) representations.
<kitty/isop.hpp>
isop(tt)