remove duplicate SATCHECK_* defines

The SATCHECK_* defines (e.g., SATCHECK_MINISAT2) are defined both in
src/solvers/satcheck.h, and in config.inc.

This removes the instance in config.inc, in an effort to de-clutter the
compiler command line.  Users of the macros can include the header file.

Author: kroening

src/config.inc

@@ -42,38 +42,6 @@ ifeq ($(BOOLEFORCE)$(CHAFF)$(GLUCOSE)$(IPASIR)$(LINGELING)$(MINISAT)$(MINISAT2)$
   MINISAT2 = ../../minisat-2.2.1
 endif
 
-ifneq ($(PICOSAT),)
-  CP_CXXFLAGS += -DSATCHECK_PICOSAT
-endif
-
-ifneq ($(LINGELING),)
-  CP_CXXFLAGS += -DSATCHECK_LINGELING
-endif
-
-ifneq ($(CHAFF),)
-  CP_CXXFLAGS += -DSATCHECK_CHAFF
-endif
-
-ifneq ($(BOOLEFORCE),)
-  CP_CXXFLAGS += -DSATCHECK_BOOLEFORCE
-endif
-
-ifneq ($(MINISAT),)
-  CP_CXXFLAGS += -DSATCHECK_MINISAT
-endif
-
-ifneq ($(MINISAT2),)
-  CP_CXXFLAGS += -DSATCHECK_MINISAT2
-endif
-
-ifneq ($(GLUCOSE),)
-  CP_CXXFLAGS += -DSATCHECK_GLUCOSE
-endif
-
-ifneq ($(CADICAL),)
-  CP_CXXFLAGS += -DSATCHECK_CADICAL
-endif
-
 # Signing identity for MacOS Gatekeeper
 
 OSX_IDENTITY="Developer ID Application: Daniel Kroening"