API Dataflow

Finished #21
Some cleanup and docu in the starting.

Reworked svg_join

Scaling, moving and timeline in svg join.

Dpdb MinVC Functionality

• Generalized primalgraph to a version of general graph
• added reader.py to read graphs from e.g. minvc
• Refactored several methods
• Better layout of big general graphs, edges in the background
• prepared extraction of several parameters into the API
• improved some aspects of svgjoin, need to include it into program flow

Working Sharpsat DPDB Output

Adapter between DPDB tables in postgres and visualization json in first draft.
Further work:

• make different style and string decisions customizable.
• add the next (generic) problem cases from dpdb

Migrated code to visualization.py

Same output as pure script.

Working SVG output

Previously worked with png output for simplicity of previews.
This has at least two downsides:

1. Resolution dependent - especially cumbersome when combining different graphics
2. Potentially large filesizes - not that easy to share.
   For example:
   combined1..11 from results41.7z: 5.6MB
   all part-images from example41SVG.7z: 9 KB

TODO:
Potentially size-constraint on large solutions
Layout the primal nodes (ex. in a circle)
Find way to combine the .svg into one image.