MAC0242-PROJECT

INFORMAÇÔES

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

COMPILAÇÃO

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.