CtrLog: C program for finding Optimal Binary Search Tree