-
Notifications
You must be signed in to change notification settings - Fork 26
Pull requests: ReduxISU/Redux
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix(template): package problem templates and resolve at runtime (#389)
#390
opened Aug 3, 2026 by
wrigjl
Collaborator
Loading…
Move N-Queens to P and add constructive O(n) solver
#387
opened Aug 2, 2026 by
wrigjl
Collaborator
Loading…
Use SPADE for CLIQUE certificate parsing; reflect grammars in formats
#372
opened Jul 23, 2026 by
wrigjl
Collaborator
Loading…
feat(SAT): add instanceFormat and certificateFormat declarations
#361
opened Jul 7, 2026 by
wrigjl
Collaborator
Loading…
fix(vertexcover): structured parse errors + self-describing formats
#356
opened Jul 5, 2026 by
wrigjl
Collaborator
Loading…
Reduction/visualization endpoints: structured 400 on unparsable input (closes #355)
#353
opened Jul 5, 2026 by
wrigjl
Collaborator
Loading…
refactor(json): migrate serialization from Newtonsoft to System.Text.Json (#349)
#351
opened Jul 5, 2026 by
wrigjl
Collaborator
Loading…
ProTip!
Updated in the last three days: updated:>2026-08-07.