I want to extend the fd_labeling predicate by implementing the LDS heuristic as a labeling option. Can you tell me please which C function or/and prolog predicate i have to modify and how to do this ? Where can i find a developer documentation if it exist ?
Thank you,
