Over the two weeks we have been working on getting a
prototype graph to navigate through the tree.
We found several examples on the web and decided to implement one that
used flare. Right now our graph shows
the currently unsatisfied clauses at a particular node. I implemented functionality to navigate
through the graph using the scroll bar.
Also the current state of the tree is reflected in the graph by
boldfacing the node in the graph corresponding to the most recently added node
in the tree. Over the next week I will
be gathering more statistics MiniSAT and adding more lines to the graph. Eventually, I would like to have check boxes
alongside the graph listing the statistics so the user could select which ones
he or she would like to view. In
addition to the graph, I will be implementing a legend for the tree to describe
the colors of the nodes.
-Mary
No comments:
Post a Comment