Instance Class Graphs

Class Tree
Description This class contains all kinds of graphs.
Submitter Martin Gebser
Compatible Encodings
    Output Predicates
      Instances
      0