sequence_examples Examples to test sequence theory in cvc4 Look at notes.txt for notes on results of running examples in both z3 and cvc4