Reasoner

A Reasoning system (prover or consistency checker)

Fields

displayName (String!)

The human-friendly name of this reasoner

id (ID!)

The ID of the reasoner