Java Green Examples

Example #1

File: ModelZ3JavaTest.java Project: Stokkie64/green-solver

 @AfterClass
 public static void report() {
   solver.report();
 }

Example #2

File: CountLattEWithBounderTest.java Project: Stokkie64/green-solver

 @AfterClass
 public static void report() {
   if (solver != null) {
     solver.report();
   }
 }