2.3.3 Additional functions

In addition to the heuristic function, the user must also define BC_allocHeuristic() and BC_freeHeuristic() to allocate and free the global dynamic structure. These functions are called by the solver at the beginning and at the end of the execution.

BiqCrunch also provides three useful functions for testing the solution produced with the heuristic:

For each problem, a BC_FixVariables function can be defined by the user to take advantage of particular constraints (see the Max-Independent-set example in Section 3). This function must be defined in the corresponding problems/<PROBLEM>/heur.c file.