Interactive web application for visualizing Boolean satisfiability (SAT) problems.
npm install
npm start- Parse CNF formulas with multiple notation styles
- Real-time clause evaluation
- Color-coded visual feedback
- Interactive variable toggles
- 5 example formulas
- Responsive design
- React 18
- Tailwind CSS
- Lucide React Icons