Class Tree
Description benchmarks from Potsdam

Not verified that all encoding are correct. if there are any problems please contact me ()

Problem with Gringo >3.0
#HIDE -> #hide
#SHOW -> #show
Encodings
1 - 20 of 54