/* Edit distance is expensive, and this works quite well. */
const char *clause[NUM_CLAUSES];
};
/* Is [project license][file license] compatible? */
/* Edit distance is expensive, and this works quite well. */
const char *clause[NUM_CLAUSES];
};
/* Is [project license][file license] compatible? */