sig X{} run{ #X = 2 }CNFを読もうとしたが、フォーマット*1を教えてもらっても、C言語に例えるならコンパイル済みのバイナリをhexdumpで眺めているような感じでハードルが高いのでKodKod fileを見てみることにした。 import java.util.Arrays; import java.…

ある関係cell : Col -> Row -> Colorがあった時に all c: SomeColSet : some_pred[cell [c, r]] all r: SomeRowSet : some_pred[cell [c, r]]これをまとめる方法が難しい。cellのタプルの1番目がcであるような集合はc.cellだからこうはできる。 all c: SomeC…