diff options
Diffstat (limited to 'src/prop/bvpicosat/config.h')
-rw-r--r-- | src/prop/bvpicosat/config.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/prop/bvpicosat/config.h b/src/prop/bvpicosat/config.h new file mode 100644 index 000000000..aa6888822 --- /dev/null +++ b/src/prop/bvpicosat/config.h @@ -0,0 +1,3 @@ +#define PICOSAT_CC "gcc" +#define PICOSAT_CFLAGS "-DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O2" +#define PICOSAT_VERSION "936" |