PSAT

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 5.0/5 - ‎1 ‎votos

Sobre PSAT

Trata-se de um projeto destinado a produzir software para decidir o problema da Satisfiability Probabilística (PSAT) sob uma abordagem lógica.