| 留め 通常の論理プログラムまたは拡張ロジックプログラムの回答セットソルバー。 |
今すぐダウンロード |
留め ランキングとまとめ
- 出版社名:
- University of Applied Sciences Potsdam
- オペレーティングシステム:
- Windows All
留め タグ
留め 説明
CLASP許可は、通常のロジックプログラムを解決できる回答セットプログラミングアルゴリズムの実装です。 この方法は、競合駆動型NOGOOD学習技術に基づいています。 このツールは、ASPソルバー、SATソルバー、またはPBソルバー、または回答セット解決を伴うプロジェクトのPBソルバーとして使用できます。
留め 関連ソフトウェア