Repository navigation

Jc/constrained switching - #41

Closed

JulienCalbert wants to merge 3 commits into

jc/constrained-switching

Closed

Jc/constrained switching#41
JulienCalbert wants to merge 3 commits into
masterfrom
jc/constrained-switching

Commits on Oct 12, 2026
- IMP meta: the sources folder stays untracked
  JulienCalbert
  committed
  6d1097e
- FIX problems: admissible cycles under constrained switching
  JulienCalbert
  committed
  054eb2e
- REF refinements: name the edges a refinement acts on
  JulienCalbert
  committed
  08aa560