Versuch

Produce aspif output with clingo:

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

Run versuch:

cargo run --example versuch test.aspif -v