System Design Constraint Solver

Welcome to the System Design Constraint Solver. This tool allows you to input logical constraints, visualize the solving process in real-time, and determine if the constraints are satisfiable using the DPLL algorithm.
To get started, enter a constraint (e.g., "A OR NOT B") in the text box, click "Add Constraint," and then press "Solve."

Input Constraints

Actions

Current Constraints

Solving Process Visualization

Legend: Blue rectangles represent clauses. Text within the rectangles indicates the literals in the clause. The bottom section shows the current variable assignments.
No process yet. Click "Solve" to start.