muraliadithya / sequence_examples

Examples to test sequence theory in cvc4

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