Optimal Page Replacement Algorithm Solver