diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-09-17 17:07:14 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-09-17 17:07:14 +0200 |
| commit | 83f4a3a884f53fa02019d1dab308240f0027c908 (patch) | |
| tree | 2b6fd328ae243728e2d4f5be7ca129dd6bae2ebc /src/theory/logic_info.h | |
| parent | 36ac67d4eac45add325fbb2692569e4a781423a1 (diff) | |
Refactor entailment filtering for conjecture generator. Other minor cleanup.
Diffstat (limited to 'src/theory/logic_info.h')
0 files changed, 0 insertions, 0 deletions