They are excluded because they have a different license.  These files contain the Quine-Mcluskey algorithm for boolean expression evaluation for which we got legal approval to use.  Legal required that we keep the original copyright headers.