diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-04-30 12:56:17 -0500 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-04-30 12:56:17 -0500 |
| commit | 2f4162877ad455c8c80f60a9bedf0b779b44ecaa (patch) | |
| tree | c2a17095f6b2a2523676773def22c59061e475de /src/theory/rewriterules | |
| parent | 2bce108ebe25f7a4b5996cf3fde5eda77564f52e (diff) | |
Add option in quantifiers for clause splitting
Diffstat (limited to 'src/theory/rewriterules')
0 files changed, 0 insertions, 0 deletions