Programmi di psat.sf.net

Si tratta di un progetto volto a produrre software per decidere il problema della soddisfacibilità probabilistica (PSAT) secondo un approccio logico.