diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-06 08:39:23 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-06 08:39:23 -0700 |
| commit | 7857b7fd8b336bede986bc7f4d42f54cc816d14b (patch) | |
| tree | 31489e5884d67366f392fde7d2e899145637e7fe /src/sat/glucose/System.cpp | |
| parent | be49b0fa188ef0ab34e0be785d7bf3cf925ba4c6 (diff) | |
| download | abc-7857b7fd8b336bede986bc7f4d42f54cc816d14b.tar.gz abc-7857b7fd8b336bede986bc7f4d42f54cc816d14b.tar.bz2 abc-7857b7fd8b336bede986bc7f4d42f54cc816d14b.zip | |
Renaming command-line option '-s' to be '-q' in 'pdr'.
Diffstat (limited to 'src/sat/glucose/System.cpp')
0 files changed, 0 insertions, 0 deletions