パズルをSugar制約ソルバーで解く


はじめに

ニコリなどによる 様々なパズルを Sugar制約ソルバー (A SAT-based Constraint Solver)で解いてみます. 以下もご覧ください. Scala 上で動作するパズルソルバーをダウンロードできます.

注意

資料等

リンク

余談


Naoyuki Tamura
( Last modified: Tue Jul 6 23:57:15 2010 JST ,   ?????  Since June 4, 2008 )