List view

• Symbolic Growth Domain & Pareto Search

  Replace refuse-or-bluff Big-O pipeline with an axiom-backed growth domain and Pareto path search. Design: docs/design/symbolic-growth-domain.md. Closes #1069, #15, #788.

  No due date

  •0/10 issues closed
  0% complete10 open0 closed

• Garey & Johnson

  Implement problem models and reduction rules from Garey & Johnson's *Computers and Intractability* (1979). Tracked by #183.

  No due date

  •319/414 issues closed
  77% complete95 open319 closed