ESOP representations

The header <kitty/esop.hpp> implements methods to compute exclusive sum-of-products (ESOP) representations.

Function	Description
esop_from_optimum_pkrm(tt)	Computes ESOP representation using optimum PKRM.
esop_from_pprm(func)	Computes PPRM representation for a function.

The header <kitty/spp.hpp> implements methods to make ESOP forms more compact in terms of SPP forms.

Function	Description
simple_spp(esop, num_vars)	Merges products in an ESOP into pseudo products.
create_from_spp(tt, cubes, sums)	Creates truth table from SPP.