1. SAT solver
MiniSat
GoogleGroup から、Zip ファイルをダウンロード.
$ unzip minisat2-070721.zip
$ cd minisat/core
$ make
-> minisat のできあがり。
2. Sugar
$ wget http://bach.istc.kobe-u.ac.jp/sugar/sugar-v1-14-6.zip
$ unzip sugar-v1-14-6.zip
sugar-v1-14-6/bin/sugar の変数を修正。
my $jar = "sugar-v1-14-6.jar"; # sugar-v1-14-6.jar のパスを記述
my $solver0 = "minisat/core/minisat"; # minsat のパスを記述
MiniSat
GoogleGroup から、Zip ファイルをダウンロード.
$ unzip minisat2-070721.zip
$ cd minisat/core
$ make
-> minisat のできあがり。
2. Sugar
$ wget http://bach.istc.kobe-u.ac.jp/sugar/sugar-v1-14-6.zip
$ unzip sugar-v1-14-6.zip
sugar-v1-14-6/bin/sugar の変数を修正。
my $jar = "sugar-v1-14-6.jar"; # sugar-v1-14-6.jar のパスを記述
my $solver0 = "minisat/core/minisat"; # minsat のパスを記述