Skip to content

docs(EAW-3): aligned TERNLOGQ/RelAlg Sudoku population-fold falsifiers - #1823

Merged
AdaWorldAPI merged 1 commit into
mainfrom
research/eaw-3-ternlog-sudoku-fold-20261027
Oct 28, 2026
Merged

docs(EAW-3): aligned TERNLOGQ/RelAlg Sudoku population-fold falsifiers#1823
AdaWorldAPI merged 1 commit into
mainfrom
research/eaw-3-ternlog-sudoku-fold-20261027

docs(EAW-3): preregister ternlog Sudoku population fold and independe…

fc1b099
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar