XML-SAT

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 4.0/5 - ‎1 ‎投票

に関しては XML-SAT

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