Redux

Home About Us Browse Help Contribute

Problem

Select problem

Instance

Problem Instance

Reduce

Select Problem To Reduce To

Select Reduction

Visualize

Select visualization

Show reductionHighlight gadgetsHighlight solution

Solve

Select Solver

Solution:

Verify

Select verifier

Enter a certificate: Verifier output: