diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-02-02 17:21:30 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-02-02 17:21:30 -0800 |
| commit | 6097ac1d1aa67732a98caab517a510731fb2f0b1 (patch) | |
| tree | 01875a471162730843d72b505606285bf401f049 /src/sat/glucose2 | |
| parent | 0b4350a0ee38becc9d5da6d55affb62d310f52be (diff) | |
| download | abc-6097ac1d1aa67732a98caab517a510731fb2f0b1.tar.gz abc-6097ac1d1aa67732a98caab517a510731fb2f0b1.tar.bz2 abc-6097ac1d1aa67732a98caab517a510731fb2f0b1.zip | |
Adding option to dump CNF after preprocessing in &glucose.
Diffstat (limited to 'src/sat/glucose2')
| -rw-r--r-- | src/sat/glucose2/Glucose2.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/glucose2/Glucose2.cpp b/src/sat/glucose2/Glucose2.cpp index 7a8b265b..4b4c28e7 100644 --- a/src/sat/glucose2/Glucose2.cpp +++ b/src/sat/glucose2/Glucose2.cpp @@ -1535,7 +1535,7 @@ void Solver::toDimacs(FILE* f, Clause& c, vec<Var>& map, Var& max) void Solver::toDimacs(const char *file, const vec<Lit>& assumps) { - FILE* f = fopen(file, "wr"); + FILE* f = fopen(file, "wb"); if (f == NULL) fprintf(stderr, "could not open file %s\n", file), exit(1); toDimacs(f, assumps); |