ここまでの話はこちら: Alloy ある日 JS: ねえねえ、Alloyでイラストロジックって解けるの？ 僕: え、えーと、どうやって書けばできるかはすぐには答えられないけど、SATの性能的には当然解けると思うよ！ JS: ふーん、そうなんだー その日の夜 僕: むむむ、…