package jkind;

public enum SolverOption {
	YICES, CVC4, Z3, YICES2, MATHSAT, SMTINTERPOL;

	@Override
	public String toString() {
		return name().toLowerCase();
	}
}

package jkind;

public enum SolverOption {
	SMTINTERPOL, Z3, YICES, YICES2, CVC4, MATHSAT;

	@Override
	public String toString() {
		return name().toLowerCase();
	}
}

Change order of solvers to reflect preference
Change order of solvers to reflect preference
