#ifndef THREADER_EAGER_H
#define THREADER_EAGER_H

#include "solve.h"

extern Threader threader_eager;

#endif