improve implicant reduction by combining implicants in orthogonal spaces when dc's allow for it, and also by removing implicants (in order of decreasing complexity) which are covered by other existing combinations.
improve implicant reduction by combining implicants in orthogonal spaces
when dc's allow for it, and also by removing implicants (in order of
decreasing complexity) which are covered by other existing combinations.

tpircher/quine-mccluskey,tpircher/quine-mccluskey