SolverMode.java

package net.certware.argument.language.ui;

public enum SolverMode {
   COMPUTE_MODELS, CHECK_SAFETY
}