PUBS: A Practical Upper Bounds Solver

/*public class MatMult {

  public int[][] multiply(int[][] A, int[][] B) {
      int c = A.length;
      int r = A[0].length;

      int[][] C = new int[r][c];

      for(int i=0; i < r;i++){
          for( int j =0;j< c;j++){
              for (int k=0;k