feat: cake_lpr interface#32

Open

JamesGallicchio wants to merge 40 commits into

mainfrom

Commits on Jan 26, 2025

Commits on Jan 28, 2025

chore(Keller): separate computationally useful bits from theory
JamesGallicchio
committed
fix(Keller): renamed something and didn't update it lol
JamesGallicchio
committed
feat(Keller): start SR symmetry breaking portion
JamesGallicchio
committed

Commits on Jan 29, 2025

feat(Keller): start the matrix symmetry definitions
JamesGallicchio
committed

Commits on Jan 30, 2025

Commits on Jan 31, 2025

feat(Keller): demonstrate canonical cases are canonical
JamesGallicchio
committed

Commits on Feb 2, 2025

feat(Keller): output unconditional symmetry breaking clauses
JamesGallicchio
committed

Commits on Feb 3, 2025