 | 砂糖SATベースの制約ソルバー |
| 今すぐダウンロード | |
砂糖 ランキングとまとめ
広告
- ライセンス:
- BSD
- 価格:
- FREE
- 出版社名:
- Naoyuki Tamura
- 出版社のWebサイト:
- http://bach.istc.kobe-u.ac.jp/tamura.html
- オペレーティングシステム:
- Mac OS X
- ファイルサイズ:
- 603 KB
砂糖 タグ
砂糖 説明
砂糖は有限線形制約満足度問題（CSP）または制約最適化問題（COP）の自由でオープンソースのソルバーです.SUGARは、問題をブール満足度テストの問題（SAT）にエンコードし、外部を使用してSAT問題を解決します。 SATソルバー。砂糖ツールは、「オーダーエンコーディング」という名前の新しいSATエンコード方法を採用しています。 順序符号化では、比較X
砂糖 関連ソフトウェア
