Página inicial Explorar Ajuda
Entrar
fnordomat
/
misc
Observar 1
Favorito 0
Fork 0
Arquivos Issues 0 Pull Requests 0 Wiki
Tree: b3e862f1b3
Branches Tags
misc
/
satsolver
/
Makefile

Makefile 33 B
Histórico Raw

123 
  1. all:
    2. 

  2. 	gcc sat.c -o sat -ggdb -O3
    3. 

  3.