Sorry for the delay! Our group has been busy reading a paper describing the implementation of MiniSAT (http://minisat.se/downloads/MiniSat.pdf). We've tried to carefully dissect this paper to understand the how it solves SAT problems. So far we have made very good progress on this task and have a decent understanding of how it works. We have also adjusted the MiniSAT code so that it outputs a file that we can run on a dot renderer to produce a primitive graph. We spent a lot of time designing the graph and each implemented our own sort of graph. We presented our graphs to our advisers who gave us input on them. We just implemented a data structure that holds the node information of the graph. Our plan is to finish polishing up the graph and then move toward the animation.
-Mary
No comments:
Post a Comment