Got up and running with minisat - super easy to use.