package jkind;

public class JRealizabilitySettings extends Settings {
	public int n = 200;
	public int timeout = 100;
	public boolean excel = false;
	public boolean xml = false;
	public boolean extendCounterexample = false;
	public boolean reduce = false;
	public boolean scratch = false;
}
