PSAT

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 5.0/5 - ‎1 ‎Votos

Sobre PSAT

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