Redux

Home About Us Browse Help Contribute

Problem

Select problem

Instance

Problem Instance

Visualize

Select visualization

Show reductionHighlight gadgetsHighlight solution

Solve

Select Solver

Solution:

Verify

Select verifier

Enter a certificate: Verifier output:

Reduce

Select Problem To Reduce To

Select Reduction