gsat-solver/Partie_1/Hybride/Main.hpp

#ifndef MAIN_HPP
#define MAIN_CPP

#include "GSATThreadMPI.hpp"

extern int world_rank;

void help(char*);
void mpiWait(GSATThreadMPI*);
void mpiNotify(int);

#endif