1 package org.sat4j.sat; 2 3 public enum StartSolverEnum { 4 5 SOLVER_LINE_PARAM_LINE, SOLVER_LINE_PARAM_REMOTE, SOLVER_LIST_PARAM_DEFAULT, SOLVER_LIST_PARAM_REMOTE 6 7 }