## Quick Start

```shell
cargo run -r --example d-fine
```