gsat-solver/Hybride/Main.hpp

#ifndef MAIN_HPP
#define MAIN_CPP

#include "GSATThreadMPI.hpp"

extern int world_rank;

void help(char*);
void mpiSync(GSATThreadMPI*, bool);

#endif