PUBS
: A Practical Upper Bounds Solver
|
Home
|
Solver
|
Examples
|
Help
|
About
|
class Factorial { static int fact(int n){ if (n==0) return 1; else return n*fact(n-1); } };
|
Home
|
Solver
|
Examples
|
Help
|
About
|