clyngor_with_clingo
clyngor
