Working on new sequence program
New sequence code now identifes unique values
Level 1 sequences working
Removed old code from this branch
Records non-zero terms
Level 2 sequences are working
Working on seq
Fixed is_subgraph_free_bull invariant and added open-bowtie subgraph invariant. Also added an enumerator for independents sets for future calculations.
Merge pull request #8 from thoppe/new_seq

Merging new_sequence branch