abate/MiniSat-ocaml — pull request #1 by fniksic (2014-04-23 15:09:42+00:00)
Title: Minisat include hierarchy

Changed includes to reflect the minisat include hierarchy, as set up in the resolution of the Debian bug #606643.