SAT-tastic!!
November 10, 2009by Connor Gallagher (cg09)
I would say this has been a good two weeks. I worked a little on a Parser for our SAT solver. Marco has been doing most of the coding and has finished our sat solver. I have been working on a lab report from hell also I have been reading over the documentation for our solver so that Marco’s thoughts may become intelligible to the rest of the world. We are using git for version management and our source code can be found here .