2014-01-01から1年間の記事一覧
yices という SMT Solver を使って、数独を秒速で解いてみた。http://sourceforge.net/projects/ssyao/ git clone git://git.code.sf.net/p/ssyao/code ssyao-code数独を解くための制約式を awk (と勉強を兼ねて ocaml )で作ってやり、yices にその式を解…
yices という SMT Solver を使って、数独を秒速で解いてみた。http://sourceforge.net/projects/ssyao/ git clone git://git.code.sf.net/p/ssyao/code ssyao-code数独を解くための制約式を awk (と勉強を兼ねて ocaml )で作ってやり、yices にその式を解…