Closed andybharness closed 7 months ago
What Updates the previous commit to add a check so we don't return true on empty clauses
What Updates the previous commit to add a check so we don't return true on empty clauses