Skip HardConcrete tests when l0-python is not installed#2

Closed

MaxGhenis wants to merge 7 commits into

mainfrom

fix/skip-l0-tests

Commits on Feb 8, 2026

WIP: auto-save before context compact (38 files on main)
MaxGhenis
committed
WIP: auto-save before context compact (4 files on main)
MaxGhenis
committed
WIP: auto-save before context compact (8 files on main)
MaxGhenis
committed
Address referee feedback: determinism, code cleanup, CI fixes, and multi-seed benchmarks

MaxGhenis
and
claude
committed
WIP: auto-save before context compact (6 files on paper/address-referee-feedback)
MaxGhenis
committed
Address referee feedback: bibliography, tutorial, and README updates

MaxGhenis
and
claude
committed
Skip HardConcrete tests when l0-python is not installed

MaxGhenis
and
claude
committed