The main function for solving instances with glob. More...
#include "Environment.h"#include "Glob.h"#include "Logger.h"#include "MinotaurConfig.h"#include "Option.h"#include "Problem.h"#include "Types.h"#include <iostream>
Include dependency graph for GlobMain.cpp:
Functions | |
| int | main (int argc, char **argv) |
Detailed Description
The main function for solving instances with glob.