 | j-tre.シンプルなJavaベースのSATソルバー |
| 今すぐダウンロード | |
j-tre. ランキングとまとめ
広告
- ライセンス:
- GPL
- 出版社名:
- Richard de Benedictis
- 出版社のWebサイト:
- http://code.google.com/u/ricdebenedictis@gmail.com/
- オペレーティングシステム:
- Mac OS X
- ファイルサイズ:
- 254 KB
j-tre. タグ
j-tre. 説明
J-TREは、ミニザット、拡張可能なSATソルバーのシンプルでミニマルなJava実装です。 J-TREは、Javaサポート（例えば、Mac OS X、Windows、Linux）に付属の任意のオペレーティングシステム上で実行できるクロスプラットフォームのユーティリティです。
j-tre. 関連ソフトウェア
