## testing.installed_engines()


The engines of [sverify.engines.ENGINES](engines.ENGINES.md#sverify.engines.ENGINES) that can run here: DuckDB


Usage

``` python
testing.installed_engines()
```


always, Polars and DataFusion when their extras are installed.


## Returns


`tuple[str, …]`  
Engine names, in the order of [ENGINES](engines.ENGINES.md#sverify.engines.ENGINES).
