Taketo Yoshida
Taketo Yoshida
I've noticed a few examples where "禁則処理" is not working properly in BudouX, although they are rare. I suspect this might be due to it not being included in the...
## 現象 以下のプログラムを実行すると、 ``` slim --hl --nd ../lmntal_program/hlink_bench/hexahedron.lmn '# of States'(stored) = 3. '# of States'(end) = 0. ``` のように2状態のはずが3状態になる。 ``` init. //正六面体 init :- {+!H1,+!H2,+!H3,+!H4,1},{+!H5,+!H1,+!H7,+!H3,0},{+!H2,+!H6,+!H4,+!H8,0}, {+!H6,+!H5,+!H8,+!H7,0},{+!H5,+!H6,+!H1,+!H2,0},{+!H3,+!H4,+!H7,+!H8,0}. {+!H1,+!H2,+!H3,+!H4,1},{+!H5,+!H1,+!H7,+!H3,0},{+!H2,+!H6,+!H4,+!H8,0}, {+!H6,+!H5,+!H8,+!H7,0},{+!H5,+!H6,+!H1,+!H2,0},{+!H3,+!H4,+!H7,+!H8,0} :-...