A collection of utilities for implementing branch-and-bound with DFS, BrFS, BFS, and CBFS