Browsersat

Solving SAT in the browser. Try it here.

Run

docker-compose up

Open localhost in your browser.

Roadmap

• User can add clauses
• User can compute SAT
• Docker build
• Display SAT assignment
• User can flip literals
• Ship it
• Input validation
• Show evaluation of subformulas
• Support exactly-one constraints
• Allow removal of constraints
• Support Partial boolean constraints

Other ideas

• increase readability, e.g. SVG display, or a mixed prefix/infix display
• Create UI for a specific use-case, e.g. some planning, scheduling or data science problem - or just simply Sudoku.
• ...