updated namings

这个提交包含在:
Raphaël LACROIX 2023-03-15 19:29:19 +01:00
父节点 fd37388339
当前提交 6d8273617c

查看文件

@ -57,7 +57,6 @@ initial_state([ [f, g, a],
initial_state([ [e, f, g],
[d,vide,h],
[c, b, a] ]). % h2=24, f*=30
initial_state([ [a, b, c],
[g,vide,d],
[h, f, e]]). % etat non connexe avec l'etat final (PAS DE SOLUTION)