द्वारा कार्यक्रम psat.sf.net

यह एक तार्किक दृष्टिकोण के तहत प्रोबैबिलिटी सतीस्फीती (PSAT) समस्या तय करने के लिए सॉफ्टवेयर का उत्पादन करने के उद्देश्य से एक परियोजना है।