PUBS: A Practical Upper Bounds Solver

public class Hanoi {
  public Hanoi() {
  }
  static void hanoi(int n, int t, int f, int u)
      {
        if (n > 0) {
          hanoi(n-1, u, f, t);
          hanoi(n-1, t, u, f);
        }
      }
}