package jkind;


public class JKindSettings extends Settings {
	public int n = 200;
	public int timeout = 100;
	
	public boolean excel = false;
	public boolean xml = false;
	public boolean xmlToStdout = false;
	
	public boolean boundedModelChecking = true;
	public boolean kInduction = true;
	public boolean invariantGeneration = true;
    public int pdrMax = 1;
	public boolean inductiveCounterexamples = false;
	public boolean reduceIvc = false;
	public boolean smoothCounterexamples = false;
    public boolean intervalGeneralization = false;
    public boolean inline = true;
	
	public SolverOption solver = SolverOption.YICES;
	public boolean scratch = false;

	public String writeAdvice = null;
	public String readAdvice = null;
}

package jkind;


public class JKindSettings extends Settings {
	public int n = 200;
	public int timeout = 100;
	
	public boolean excel = false;
	public boolean xml = false;
	public boolean xmlToStdout = false;
	
	public boolean boundedModelChecking = true;
	public boolean kInduction = true;
	public boolean invariantGeneration = true;
    public int pdrMax = 1;
	public boolean inductiveCounterexamples = false;
	public boolean reduceIvc = false;
	public boolean smoothCounterexamples = false;
    public boolean intervalGeneralization = false;
    public boolean inline = true;
	
	public SolverOption solver = SolverOption.SMTINTERPOL;
	public boolean scratch = false;

	public String writeAdvice = null;
	public String readAdvice = null;
}

Change default solver from Yices to SMTInterpol
Change default solver from Yices to SMTInterpol

Yices is no longer being supported (even bug fixes). Since SMTInterpol is
distributed as part of JKind, making it the default supports ease-of-use.
