Define the classes BranchCand for storing candidates for branching. More...
#include <iostream>
#include "MinotaurConfig.h"
#include "BrCand.h"
#include "Variable.h"
Define the classes BranchCand for storing candidates for branching.