Inicio Explorar Axuda
Iniciar sesión
fnordomat
/
misc
Seguir 1
Destacar 0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0 Wiki
Árbore: b3e862f1b3
Ramas Etiquetas
misc
/
satsolver
/
Makefile

Makefile 33 B
Histórico Raw

123 
  1. all:
    2. 

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

  3.