Đâ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ý.
lịch sử phiên bản
- Phiên bản PsatColGen đăng trên 2011-03-16
Một số bản sửa lỗi và cập nhật - Phiên bản N/A đăng trên 2011-03-16
Chi tiết chương trình
- Mục: Mạng & Internet > Khác
- Publisher: psat.sf.net
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: Array
- Nền tảng: windows