Accueil Explorer Aide
Connexion
fnordomat
/
misc
Suivre 1
Voter 0
Fork 0
Fichiers Tickets 0 Pull Requests 0 Wiki
Aborescence: b3e862f1b3
Branches Tags
misc
/
satsolver
/
Makefile

Makefile 33 B
Historique Raw

123 
  1. all:
    2. 

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

  3.