These last few weeks we have continued our discussion about SAT problems. After understanding the format of the benchmark problems and running into a few issues compiling MiniSAT, we finally got the benchmark problems to run on MiniSAT AND produce the correct results :). We decided our next task is to dig into the MiniSAT code and try to understand how it works to solve the problems. To do this we decided to form a graph displaying what steps the solver is taking to solve each benchmark. We are in the process adding code to MiniSAT so that the graph is generated when the as the problem is being solved. Eventually what we would like to do is have a sort of animation of how MiniSAT is solving a problem. Right now, we are working to get the code compiling on our own computers (not using the CSE remote computer).
-Mary
No comments:
Post a Comment