Java Solvers Examples

Example #1

File: SolverQuantifierTest.java Project: SunshineAllWay/StringFaultDetect

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