probfd::algorithms::trap_aware_dfhs Namespace Reference

Description

Namespace dedicated to the depth-first heuristic search (DFHS) family with native trap handling support.