Create a quality graph visualizer library

[bvssvni]

The idea is to use Pocket-Prover for theorem proving, generating a graph that visualizes relations of quality, aquality and contravariant quality.

• Export PNG
• Export to GraphViz format
• Put propositions on a circle
• !~a is 180 degrees relative to ~a
• Edges tells when there is a quality variance (the variance is given by the connected nodes)
• For theory t, t & p => false proposition p can be represented visually