netom/satispy — pull request #3 by dhoepelman (2014-09-25 15:07:45+00:00)
Title: Lingeling support

I've added [Lingeling](http://fmv.jku.at/lingeling/) support, a SAT solver which scores very well in the last 2 [SAT competitions](http://www.satcompetition.org/2014/).
Only tested on CYGWIN though

I've also added a CYGWIN example