Resolvendo o problema PSAT com auxílio da ferramenta de software livre MiniSat

Trabalho de Formatura Supervisionado
Aluno: Mikail Campos Freitas
Orientador: Marcelo Finger
IME - USP