niklasso/minisat-c-bindings — pull request #1 by jwaldmann (2013-01-20 13:08:06+00:00)
Title: add interrupt functions

add interrupt functions