All pull requests

Pull requests

• Class, Verifyer, and Solver for Pickup and Delivery Traveling Salesma…

  #997·QuintonSmith03 opened Nov 6, 2026Collaborator·

  ·
  1

• Implement Weighted Max-3SAT

  #995·c-hayCodes opened Nov 4, 2026Contributor·

  ·

  · Karp NP-Hard Optimization Variants
  1

  1

  

• Run each solve in a pre-started worker process with time and memory limits (#936)

  #994·Trosper3 opened Nov 4, 2026Contributor·

  ·

  · Minimum Viable Product
  1

  1

• Open the contributor scan's PR with the ReduxISU Bot app's token (#648)

  #993·Trosper3 opened Nov 4, 2026Contributor·

  ·
  1

  3

• Map the course assignments to the guides, and start new problems as decision problems

  #987·Trosper3 opened Nov 2, 2026Contributor·

  ·
  4

• Add NuGet Publishing and ILP Problem

  #985·prashant9711 opened Nov 2, 2026Collaborator·

  ·
  10

• Kernel Problem Implementation (Not done tests, solvers, verifiers and visualization)

  #969·prashant9711 opened Oct 30, 2026Collaborator·

  ·
  1

• Akari (Light Up Puzzle) Problem Class - No Solver, Verifier, or Visualization

  #968·carterluker opened Oct 30, 2026Contributor·

  ·
  3

• Add unrestricted longest path problem final

  #966·AliceBane opened Oct 29, 2026·

  ·
  1

• Constraint Satisfaction Problem Implementation

  #963·gabrielory opened Oct 29, 2026·

  ·
  3

• Move the tests to xunit 4 (xunit.v3.mtp-off)

  dependenciesnuget
  #884·Trosper3 opened Oct 14, 2026Contributor·

  ·
  2

• Visualization redesign: implementation guide, contributor guides and mockups

  #729·Trosper3 opened Oct 8, 2026Contributor·

  ·

  · Visualization Redesign
  4

• Bump xunit.v3 from 3.2.2 to 4.0.0

  dependenciesnuget
  #522·dependabot[bot] opened Sep 1, 2026Bot·

  ·
  10