piglot.utils.solver_utils.has_keyword

has_keyword(input_file: str, keyword: str) → bool[source]

Checks whether an input file contains a given keyword.

Parameters

input_filestr: Path for the input file.
keywordstr: Keyword to locate.

Returns

bool: Whether the input file contains the keyword or not.