Original minisat package:
Niklas Een
Niklas Sorensson

Adapting for Deepsolver as libminisat library:
Michael Pozhidaev <msp@altlinux.org>
