Java Solvers示例

示例#1

文件： SolverQuantifierTest.java 项目： SunshineAllWay/StringFaultDetect

 @Parameters(name = "{0}")
 public static Object[] getAllSolvers() {
   return Solvers.values();
 }