niklasso/minisat — pull request #14 by Siesh1oo (2014-03-10 13:09:33+00:00)
Title: Resolution for bug tracker issues #1, #4, #9, #10, #12, #13, #14.

Pull request created for easy integration of the patch set.