# Versuch

Produce aspif output with clingo:

```sh
clingo test.lp --pre=aspif > test.aspif
```

Run versuch:

```sh
cargo run --example versuch test.aspif -v
```