aboutsummaryrefslogtreecommitdiff
path: root/src/threader_eager.h
blob: e39b27fcb5ba63e6bc56d3bd9cda158225f31795 (plain) 
1
2
3
4
5
6
7
8

#ifndef THREADER_EAGER_H
#define THREADER_EAGER_H

#include "solve.h"

extern Threader threader_eager;

#endif

Generated with cgit - Back to sebastiano.tronto.net