SimpliMap is a Flutter app for creating, visualizing and minimizing Boolean expressions using Karnaugh maps (K-maps). It provides a solver UI, step-by-step minimization, and components to explore K-map grouping and simplified expressions.
- Create and edit minterms and K-maps.
- Automatic Boolean expression minimization.
- Step-by-step breakdown of minimization and groupings.
- Export or view minimized equation results.
Prerequisites
- Flutter SDK (stable) installed: https://flutter.dev/docs/get-started/install
- For Android builds: Android SDK + an emulator or device.
- For web builds: a modern browser.
Run locally
- Get dependencies:
flutter pub get- Run on an available device (Android, iOS, web, desktop):
flutter run- Build release APK (Android):
flutter build apk --releaseBuild for web:
flutter build web- lib/main.dart — app entry point
- lib/screens/solver_screen.dart — main solver UI
- lib/logic/minimizer.dart — K-map minimization logic
- lib/logic/boolean_parser.dart — boolean parsing utilities
- lib/widgets/kmap_grid.dart — interactive K-map grid widget
- lib/state/kmap_provider.dart — app state provider
Explore the lib/ folder for UI widgets and models: models/, widgets/, logic/, and screens/.
Below are screenshots from the app:
- Follow Flutter best practices: use
flutter analyzeandflutter formatregularly. - To run the analyzer:
flutter analyze- To format code:
flutter format .This repository does not appear to include automated tests. Consider adding unit tests for minimizer.dart and widget tests for the main UI screens.
Contributions are welcome. Suggested workflow:
- Create a feature branch.
- Run
flutter analyzeandflutter format. - Open a pull request with a clear description of changes.
Please add a license file to clarify reuse terms if you plan to accept outside contributions.
This project is licensed under the MIT License.
For questions or collaboration, open an issue in this repository or add a PR with suggested changes.