New tests for vectorlength and linear clauses, and corresponding code
to match.
4 files changed