ひとり勉強会

ひとり楽しく勉強会

2009-02-08から1日間の記事一覧

SATソルバを作る会 (1)

SAT

適当にまったりと。今回は下準備みたいなものだけです。 入力 せっかくなのでデータ形式は SAT Competitions の形式と揃えておこうかと思いました。出せるようなものはとても作れないですけど、比較する時にその方が便利そう。まず、入力はConjunctive Norma…