REDUX
Home
About Us
Problem
Select problem
Select problem
▼
Instance
Problem Instance
Problem Instance
Reduce
Select Problem To Reduce To
Select Problem To Reduce To
Select Reduction
Select Reduction
▼
Reduce
Visualize
Refresh
Show reduction
Highlight gadgets
Highlight solution
▼
The visualization has not been implemented yet
Solve
Select Solver
Select Solver
▼
Solution:
Solve
Verify
Select verifier
Select verifier
▼
Enter a certificate:
Verifier output:
Verify