feat: Enhance KMap functionality with don't care expressions and improved UI

- Added support for don't care expressions in KMapProvider.
- Updated grid state management to handle don't care cells.
- Introduced a toggle for displaying minimized SOP and POS expressions in the UI.
- Enhanced KMapGrid to visually differentiate don't care cells.
- Improved the minimization result display with a segmented button for SOP/POS selection.
- Removed the deprecated SolverScreen widget and refactored related logic.
- Added a detailed step explanation widget for better user guidance.
- Updated pubspec.yaml with a more descriptive project description.
- Updated icon assets for better visual representation.

Author: YTFL

GEMINI.md

@@ -206,7 +206,7 @@ class SimpliMapApp extends StatelessWidget {
     return Consumer<ThemeProvider>(
       builder: (context, themeProvider, child) {
         return MaterialApp(
-          title: 'Flutter Material AI App',
+          title: 'SimpliMap',
           theme: lightTheme,
           darkTheme: darkTheme,
           themeMode: themeProvider.themeMode,

android/app/src/main/res/mipmap-hdpi/ic_launcher.png

@@ -7,6 +7,12 @@ class BooleanParser {
       return [];
     }
 
+    // Check if expression uses minterm notation (m0, m1, m5, etc.)
+    if (_isMintermNotation(expression)) {
+      return _parseMintermNotation(expression, numVariables);
+    }
+
+    // Otherwise, parse as traditional Boolean expression (ABCD)
     final variables = numVariables == 3 ? ['A', 'B', 'C'] : ['A', 'B', 'C', 'D'];
     final minterms = <int>{};
 
@@ -23,6 +29,32 @@ class BooleanParser {
     return minterms.toList();
   }
 
+  bool _isMintermNotation(String expression) {
+    // Check if expression contains minterm notation pattern (m followed by digits)
+    return RegExp(r'\bm\d+\b', caseSensitive: false).hasMatch(expression);
+  }
+
+  List<int> _parseMintermNotation(String expression, int numVariables) {
+    final minterms = <int>{};
+    final maxMinterm = pow(2, numVariables).toInt() - 1;
+
+    // Find all minterm numbers in the expression
+    final regex = RegExp(r'\bm(\d+)\b', caseSensitive: false);
+    final matches = regex.allMatches(expression);
+
+    for (final match in matches) {
+      final mintermStr = match.group(1);
+      if (mintermStr != null) {
+        final mintermNum = int.tryParse(mintermStr);
+        if (mintermNum != null && mintermNum >= 0 && mintermNum <= maxMinterm) {
+          minterms.add(mintermNum);
+        }
+      }
+    }
+
+    return minterms.toList();
+  }
+
   Set<int> _getMintermsForTerm(String term, List<String> variables) {
     final termMinterms = <int>{};