Recent user activities on Karnaugh Minimizer