MAC 0239 - Métodos Formais e Lógica de Programação
IME-USP - Segundo Semestre de 2013
Turma 45 - Marcelo Finger
Projeto:
SUDOKU
Renato Cordeiro Ferreira 7990933
Para gerar o SAT Solver, digite em um terminal
make ou make all para realizar a compilação.
Alternativamente, rode o programa com as opções -m ou -z para definir um path para os SAT solvers minisat ou zChaff, ambos suportados pelo programa.