diff options
author | Liana Hadarean <lianahady@gmail.com> | 2015-04-23 17:38:48 +0100 |
---|---|---|
committer | Liana Hadarean <lianahady@gmail.com> | 2015-04-23 17:38:48 +0100 |
commit | 0daf670d46ec2e781c2060b41449f2787b6e8f66 (patch) | |
tree | 7f1870bc621407a3c387ab6eb3dc77db529355dc /test/regress/regress0/sets | |
parent | c604492260d0555bdb3cac5ba0863b7223f21777 (diff) |
Added option for --check-unsat-cores and various core bug fixes (merge of Morgan's proof branch).
Diffstat (limited to 'test/regress/regress0/sets')
0 files changed, 0 insertions, 0 deletions