開發者 psat.sf.net

這是一個專案，旨在生產軟體，以決定概率性（PSAT）問題的邏輯方法。