Given a solution file and a problem file, checks whether is solution is feasible to the problem. More...
#include <iomanip>#include <iostream>#include "MinotaurConfig.h"#include "SolCheck.h"#include "Constraint.h"#include "Environment.h"#include "Logger.h"#include "Operations.h"#include "Problem.h"#include "Reader.h"#include "Solution.h"#include "Timer.h"#include <cmath>
Include dependency graph for SolCheck.cpp:
Detailed Description
Given a solution file and a problem file, checks whether is solution is feasible to the problem.