An implementation of MiniSAT based on the research paper "An Extensible SAT-solver" written in C++. The intention is to match the paper rather than to add all the latest features that have been developed since it was originally published.