tools/minisat/core
