PUBS: A Practical Upper Bounds Solver 


public class Concat {
    static int[] concat(int A[], int B[]) {
	int   l1 = A.length;
	int   l2 = l1+B.length;
	int[] R  = new int[l2];
	int   i  = 0;
	for (i=0;i





PUBS - version 1.0