  Discrete Search of integer spaces for tool parameter values provides a
powerful methodology for modeling and finding a heuristically optimal parameter
list for a given system. Current tools and implementations that exist focus
primarily on homogeneous tool parameters, and the implementations for
heterogeneous tool parameters is lacking. In this paper we introduce a
correct-by-construction method of heterogeneous parameter reachability and
validity search, and further outline the implementation as well as a
demonstration using examples of heterogeneous systems that this tool can be
used for.
