PSAT

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 5.0/5 - ‎1 ‎Suara

Tentang PSAT

Ini adalah proyek yang bertujuan menghasilkan perangkat lunak untuk memutuskan masalah Probabilistic Satisfiability (PSAT) di bawah pendekatan logis.