プログラム xml-sat.sf.net

ミニサットに基づくモジュラーSATソルバー。モジュールは、PERL スクリプトによって処理される XML ファイルで記述されています。したがって、n ソルバーを生成します。