Программы psat.sf.net

Это проект, направленный на создание программного обеспечения для решения проблемы вероятностной сатисфиентности (PSAT) при логическом подходе.