Issues

• Picking "Grover's Algorithm" on Unstructured Search is ignored: the solver name maps to SAT's Grover solver

  ReduxISU/Redux_GUI#405 · Filter by author Trosper3 opened on Oct 22, 2026

• Let readers choose among reduction paths when more than one reaches a target

  enhancement
  ReduxISU/Redux_GUI#399 · Filter by author Trosper3 opened on Oct 20, 2026 · Visualization Redesign

• Nested Set renderer

  enhancement
  ReduxISU/Redux_GUI#398 · Filter by author Trosper3 opened on Oct 20, 2026 · Visualization Redesign

• Formula renderer

  enhancement
  ReduxISU/Redux_GUI#397 · Filter by author Trosper3 opened on Oct 20, 2026 · Visualization Redesign

• Question: what should the MVP site map be, and which PRs finish it?

  question
  ReduxISU/Redux_GUI#396 · Filter by author Trosper3 opened on Oct 20, 2026 · Minimum Viable Product
  1

• Let visitors close Getting Started

  enhancement
  ReduxISU/Redux_GUI#394 · Filter by author Trosper3 opened on Oct 20, 2026 · Minimum Viable Product

• Add a Report a bug button

  enhancement
  ReduxISU/Redux_GUI#393 · Filter by author Trosper3 opened on Oct 20, 2026 · Minimum Viable Product

• Add an FAQ

  documentation
  ReduxISU/Redux_GUI#392 · Filter by author Trosper3 opened on Oct 20, 2026 · Minimum Viable Product
  1

• Make it clear the visualization shows the problem and the selected solver

  enhancement
  ReduxISU/Redux_GUI#391 · Filter by author Trosper3 opened on Oct 20, 2026 · Minimum Viable Product

• [Bug]: DFA/NFA pictures go blank when render-tikz gets concurrent requests

  bug
  ReduxISU/Redux_GUI#389 · Filter by author Trosper3 opened on Oct 19, 2026 · Visualization Redesign
  2

• [Bug]: Visualization pane keeps the previous problem's picture or goes blank after switching problems

  bug
  ReduxISU/Redux_GUI#388 · Filter by author Trosper3 opened on Oct 19, 2026 · Visualization Redesign
  4

• [Bug]: Graph Coloring Visualization loads very slowly

  bug
  ReduxISU/Redux_GUI#386 · Filter by author norkish opened on Oct 19, 2026
  4

• Show complexity variable meanings separately in the solver info popup

  enhancement
  ReduxISU/Redux_GUI#380 · Filter by author Trosper3 opened on Oct 11, 2026

• PR E: Retire TikZ, keep and fix the old graph renderer

  enhancement
  ReduxISU/Redux_GUI#377 · Filter by author Trosper3 opened on Oct 7, 2026 · Visualization Redesign
  1

• Two-Graph Mapping renderer

  enhancement
  ReduxISU/Redux_GUI#376 · Filter by author Trosper3 opened on Oct 7, 2026 · Visualization Redesign

• Dominoes renderer

  enhancement
  ReduxISU/Redux_GUI#375 · Filter by author Trosper3 opened on Oct 7, 2026 · Visualization Redesign

• Grammar renderer

  enhancement
  ReduxISU/Redux_GUI#374 · Filter by author Trosper3 opened on Oct 7, 2026 · Visualization Redesign

• Boolean Circuit renderer

  enhancement
  ReduxISU/Redux_GUI#373 · Filter by author Trosper3 opened on Oct 7, 2026 · Visualization Redesign

• Tape and Stack Machine renderer

  enhancement
  ReduxISU/Redux_GUI#372 · Filter by author Trosper3 opened on Oct 7, 2026 · Visualization Redesign

• Game Tree renderer

  enhancement
  ReduxISU/Redux_GUI#371 · Filter by author Trosper3 opened on Oct 7, 2026 · Visualization Redesign

• Search Tree renderer

  enhancement
  ReduxISU/Redux_GUI#370 · Filter by author Trosper3 opened on Oct 7, 2026 · Visualization Redesign

• PR D: Renderers for the 6 future picture types

  enhancement
  ReduxISU/Redux_GUI#369 · Filter by author Trosper3 opened on Oct 7, 2026 · Visualization Redesign

• PR C: Reduction view

  enhancement
  ReduxISU/Redux_GUI#368 · Filter by author Trosper3 opened on Oct 7, 2026 · Visualization Redesign

• Code Tree renderer

  enhancement
  ReduxISU/Redux_GUI#367 · Filter by author Trosper3 opened on Oct 7, 2026 · Visualization Redesign

• Tripartite Matching renderer

  enhancement
  ReduxISU/Redux_GUI#366 · Filter by author Trosper3 opened on Oct 7, 2026 · Visualization Redesign