tamura70
EN
Home
>
ソフトウェア
制約ソルバー，制約プログラミングシステム
Sugar: SAT技術を用いた制約ソルバー
Copris: Scala上の制約プログラミングシステム
Copris上のパズルソルバー
PBSugar: SAT技術を用いた擬似ブール制約ソルバー
CSP2SAT: SAT符号化による制約ソルバー
Cream: Java上の制約プログラミング用クラス・ライブラリ
See also:
https://cspsat.gitlab.io
論理プログラミング
LLP: 線形論理型言語とそのコンパイラ処理系
Prolog Cafe
TLLP
See also:
https://cspsat.gitlab.io
定理証明
線形論理の自動証明システム
(llprover)
一階述語論理の自動証明システム
(seqprover)
lolliCoP
LLPTTP
LL2LLP
See also:
https://cspsat.gitlab.io
その他
メッチャ検索エンジン