yices という SMT Solver を使って、数独を秒速で解いてみた。http://sourceforge.net/projects/ssyao/ git clone git://git.code.sf.net/p/ssyao/code ssyao-code数独を解くための制約式を awk （と勉強を兼ねて ocaml ）で作ってやり、yices にその式を解…

エリック・レイモンドの The Art Of Unix Programming には、awk なんて out of date な言語、今どき使ってるやつなんていねーよ的なことが書かれていたような記憶があるが、私は awk が好きだ。 そんな awk のメモ。今回は svn 用 svn で ? なファイルを消…