This website works better with JavaScript
Strona główna
Odkrywaj
Pomoc
Zaloguj się
Artois
/
gsat-solver
Obserwuj
2
Polub
0
Forkuj
0
Pliki
Problemy
0
Oczekujące zmiany
0
Wiki
Drzewo:
16ae41c729
Gałęzie
Tagi
master
gsat-solver
/
Thread
Arthur Brandao
354bee27d5
:pencil2: Correction typo
6 lat temu
..
GSAT
f9667de686
:fire: Suppr fichier inutile
6 lat temu
GSATThread.cpp
354bee27d5
:pencil2: Correction typo
6 lat temu
GSATThread.hpp
f2d93363d9
:tada:
6 lat temu
Main.cpp
f2d93363d9
:tada:
6 lat temu
Makefile
f2d93363d9
:tada:
6 lat temu
README.txt
f2d93363d9
:tada:
6 lat temu
color.h
f2d93363d9
:tada:
6 lat temu
README.txt
make -j
./GSAT -i ../benchmarks/uf150/uf150-099.cnf