#define PICOSAT_CC "gcc"
#define PICOSAT_CFLAGS "-DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O2"
#define PICOSAT_VERSION "936"