==================================================
                GlueMiniSat2.2.5
==================================================

(1) For building,
 ./build.sh

(2) For running,
 ./glueminisat -compe BENCHNAME

