1. Set the number of variables and clauses, then click 'create formula' or 'random formula'.
2. Choose the literals for each 3SAT clause.
3. Pick a reduction: clique, vertex cover, Hamiltonian path or subset sum.
4. In learning mode, use 'next' / 'prev' to follow the construction, then 'result' to reveal the solution and explanation.
5. Use the truth assignment panel to test how clauses are evaluated.
6. In practice mode, choose 'solution → assignment' or 'assignment → solution'.
7. Answer the task shown: assign variable values, select graph nodes, choose path nodes in order, or select subset-sum rows.
8. Shortcuts: steps → arrow keys, result → s, reset → r.
About
Reductions from 3SAT to clique, vertex cover, hamiltonian path and subset sum are visualized to show NP-completeness.
