SatHeuristicSolverGui

MAX-SAT Metaheuristic solver a MAX-SAT(maximum satisfiability problem) Solver using metaheuristics . This project was bootstrapped with Create React App. Genetic algorithm Particle Swarm Optimization Bee Swarm Optimisation Technologies Electron ReactJs TailwindCss Java Download Executable Linux Windows Java must be installed Available Scripts In the project directory, you can run: npm start Runs the app in the development mode. Open http://localhost:3000 to view it in the browser. The page will reload if you make edits. You will also see any lint errors in the console. npm test Launches the test runner in the interactive watch mode. See the section about running tests for more information. npm run build Builds the app for production to the build folder. It correctly bundles React in production mode and optimizes the build for the best performance. The build is minified and the filenames include the hashes. Your app is ready to be deployed! See the section about deployment for more information. npm run eject Note: this is a one-way operation. Once you eject, you can’t go back!