probfd::occupation_measures::HROCGenerator Class Reference

#include "probfd/occupation_measures/hroc_constraints.h"

Description

Implements the regrouped operator counting heuristic constraints [13] .