Fix #443: Add RectilinearPictureCompression model#677

Merged

zazabap merged 10 commits intomainfrom

issue-443-rectilinear-picture-compression

Mar 19, 2026

Commits on Mar 16, 2026

Add plan for #443: RectilinearPictureCompression
GiggleLiu
committed
Add RectilinearPictureCompression satisfaction problem model

GiggleLiu
and
claude
committed
Add RectilinearPictureCompression problem-def entry to paper

GiggleLiu
and
claude
committed
Review fixes: precompute maximal rectangles, return slice from matrix(), add solution count assertion
GiggleLiu
committed
chore: remove plan file after implementation
GiggleLiu
committed
Merge remote-tracking branch 'origin/main' into review-pr-677-issue-443-rectilinear-picture-compression
GiggleLiu
committed
fix: address PR #677 review comments
GiggleLiu
committed
fix: tighten review follow-ups for PR 677
GiggleLiu
committed

Commits on Mar 19, 2026