Kirim Perangkat Lunak

Program menurut psat.sf.net

  • PSAT Gratis

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