Repositório referente aos softwares desenvolvidos para o campo de estudo de Satisfazibilidade Probabilistica.