ソフトウェア

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

メッチャ検索エンジン