gitdir: ../../../../.git/modules/lib/minisat-definitions/modules/minisat
