ソフトウェア
田村研究室で開発した (している) ソフトウェアです.
CSPSAT, CSPSAT2 CSPSAT3 プロジェクトのソフトウェアについて
は
ここ
も参照してみてください.
- ShinMaxSat
田村研究室で修士を取得された本條さんが開発した重み付き部分Max-SATソルバ
- Azcur
田村研究室で博士号を取得された丹生さんが開発した制約ソルバ
- Copris
SAT型制約ソルバーSugarのScalaインターフェイス
- Scarab
SATソルバーと密に結合された制約プログラミングシステム
- Sugar
SAT技術に基づく制約ソルバ
- Cream
Java上の制約プログラミング・ライブラリ
- Calc/Cream
OpenOffice.org Calcスプレッドシート上での制約プログラミングツール
- Prolog Cafe
論理型プログラミグ言語PrologからJavaへのトランスレータ処理系
- LLP
線形論理に基づく論理型プログラミング言語のコンパイラ処理系
- メッチャ検索エンジン
複数の検索エンジンの結果を統合して表示する統合型メタ検索エンジン
上記以外にも,
TLLP,
llprover,
seqprover,
lolliCoP,
LL2LLP等があります.
since 23th March 2007