This implements the standard clause set from Bruno's thesis. It has a computational drawback: we create the normalized
struct first, which is later on converted to a clause set. The normalized struct easily becomes so big that recursive
functions run out of stack. The AlternativeStandardClauseSet performs a direct conversion, which can handle bigger
sizes.
This implements the standard clause set from Bruno's thesis. It has a computational drawback: we create the normalized struct first, which is later on converted to a clause set. The normalized struct easily becomes so big that recursive functions run out of stack. The AlternativeStandardClauseSet performs a direct conversion, which can handle bigger sizes.