Chương trình theo psat.sf.net

Đây là một dự án nhằm sản xuất phần mềm để quyết định vấn đề satisfiability xác suất (PSAT) theo một cách tiếp cận hợp lý.