I decided to implement MiniSAT in the C programming language in a manner that closely follows the research paper entitled "An Extensible SAT-Solver." There are still a couple of features that I need to add, but most of it is there.