aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/picosat-965/config.h
blob: 36ffc6b6c932d689a17bd893c31093b271fcef59 (plain) 
1
2
3

#define PICOSAT_CC "../../../ccomp"
#define PICOSAT_CFLAGS "-fall -Wall -fno-unprototyped -O3 -DNALARM -DNZIP -DNGETRUSAGE"
#define PICOSAT_VERSION "965"
generated by cgit (git 2.34.1) at 2024-06-02 19:20:13 +0000