Buobe
    Potassco - the Potsdam Answer Set Solving Collection | Buobe