#include <jobs.h>
#include <stdint.h>

int solver_highs(struct job **job, struct job_clist *q, int32_t resources);