Programas por psat.sf.net

Trata-se de um projeto destinado a produzir softwares para decidir o problema de sistfiabilidade probabilística (PSAT) sob uma abordagem lógica.