GPUSAT-Visualization
Pre-release
Pre-release
VaeterchenFrost
released this
04 May 12:35
·
22 commits
to master
since this release
Added several visualization-options in Graphoutput (graphviz, Neo4j) and Visualization (Tree-Decomposition-Visualization 1.1)
Some helper-functions are placed in gpusatutlis.h
and are used mostly in Graphoutput.