Fix for theory propagated clauses
Small modifications to colors in dot proof output
Small changes to formula printing for clarity
Better color scheme for dot output
Merge branch 'master' into tableau
N-ary and/or operators in smt fomulas
Fix for pretty printing