diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-03-28 12:32:58 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-03-28 12:33:07 -0500 |
commit | 358e453bda62923fd0be94af5317b24a7281014b (patch) | |
tree | f2fdb4efc7a97341c2b77dca0fce96b28e7f591b /src/theory/quantifiers/alpha_equivalence.h | |
parent | 4a00ff296240ff81ee909937ade8cc8aa88561df (diff) |
Implement equality inference module for arithmetic terms. Optimization for entailment checks. Other minor infrastructure.
Diffstat (limited to 'src/theory/quantifiers/alpha_equivalence.h')
0 files changed, 0 insertions, 0 deletions