diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-25 13:34:54 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-25 13:34:54 -0800 |
| commit | 7d5b1c572bfb5385dc79f795d4c9d3294adbdae6 (patch) | |
| tree | 9d5ea8ada2ee27dd597940d7de0f4d653124c7ae /src/proof/abs | |
| parent | 80773b95221237134719e08948ed1b74ac049536 (diff) | |
| download | abc-7d5b1c572bfb5385dc79f795d4c9d3294adbdae6.tar.gz abc-7d5b1c572bfb5385dc79f795d4c9d3294adbdae6.tar.bz2 abc-7d5b1c572bfb5385dc79f795d4c9d3294adbdae6.zip | |
Restoring constraint manager to read old constraint file by default (use 'read_constr -n' to read new format).
Diffstat (limited to 'src/proof/abs')
0 files changed, 0 insertions, 0 deletions