At our weekly meeting last Thursday, Dr. Dwyer provided very helpful feedback on the current state of our visualization. Some of his suggestions included adding a key at the bottom of the page and having a static location for the drop down box. Having the drop down box in one place will allow the user to select a certain "mode" (conflict clause mode, propagations mode, or unsat clauses mode) then hover over the nodes to view the specific information. Rather than having to select a new mode every time the user hovers over a node, the user can see how the information selected in the mode changes with each node by simply selecting a mode and hovering over other nodes. This will make the visualization more user friendly.
As I mentioned last week, Maggie and I decided to split the work. For the time being she will be working (and updating the blog) on the FlashBuilder portion and I will be working on the MiniSAT side. So far, I have altered the MiniSAT code further to allow output of nodes involved in a conflict clause. Previously in one of our meetings we discussing the possibility of having the nodes that led to a conflict light up when the user hovered over the conflict node. The change I made to the MiniSAT code will allow Maggie implement this feature.
-Mary
No comments:
Post a Comment