プログラム psat.sf.net

これは、論理的アプローチの下で確率的な適合性(PSAT)問題を決定するためのソフトウェアを生成することを目的としたプロジェクトです。