M rings are also alc pairs
Alc tripples, quads you'd have to manually generate example grids or test cases, it's an obscure technique usually subsumed by simplier Als or aic logic that under pins the moves.
MAGREMENT wrote: Could someone provide me a list of instances of ALC ?
yzfwsf wrote:If necessary, you can use my solver to generate the samples you need yourself.