smt_optim.benchmarks.registry

Benchmarks

get_problem(name: str) → BenchmarkProblem

Retrieves a single BenchmarkProblem object by its unique name.

Parameters:

name (str) – The name of the problem to retrieve.

Returns:

result – The retrieved BenchmarkProblem object, or None if no matching problem is found.

Return type:

BenchmarkProblem or None

list_problems(n: list[int] = None, tags: list[str] = None) → list[BenchmarkProblem]

Retrieves a list of BenchmarkProblem objects that match the specified problem features.

Parameters:

• n (Optional[list[int]]) – A list containing minimum and maximum problem dimensions (inclusive). If None, no dimension filtering is applied.

• tags (Optional[list[str]]) – A list of problem tags to filter by. If None, no tag filtering is applied.

Returns:

results – A list of BenchmarkProblem objects that match the specified features.

Return type:

list[BenchmarkProblem]