Kezdőlap Felfedezés Súgó
Bejelentkezés
fnordomat
/
misc
Figyelés 1
Kedvenc 0
Másolás 0
Fájlok Problémák 0 Beolvasztási kérések 0 Wiki
Fa: b3e862f1b3
Branch-ok Tag-ek
misc
/
satsolver
/
Makefile

Makefile 33 B
Előzmények Nyers

123 
  1. all:
    2. 

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

  3.