#define PICOSAT_CC "../../../ccomp"
#define PICOSAT_CFLAGS "-fall -Wall -fno-unprototyped -O3 -DNALARM -DNZIP -DNGETRUSAGE"
#define PICOSAT_VERSION "965"