Propositional Analyzer is a powerful tool built with Flutter for analyzing propositional logic expressions. It offers various algorithms to solve boolean satisfacation problems and provides insightful visualizations of the results.
- Finds the critical value of the ratio M/N (Number of disjunctions/Propositional symbols), i.e. the value for which the majority of problems change from satisfiable to unsatisfiable.
- Enables direct comparison of algorithm performance on identical problem sets.
- Visualizes results in modern and helpful graph charts.
- Saves the analysis locally in a txt file.
- Loads previously saved analyses for further review.
- Comes with a set of useful preinstalled analyses on the collection screen.
- Hill Climbing
- Depth-First
- DPLL
- WalkSat
- Fork the repository and create a new branch for your feature.
- Make your changes and ensure they are well-tested.
- Submit a pull request describing your changes and their purpose.
This project is licensed under the MIT License.