Recent user activities on Karnaugh Analyzer