diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-15 13:30:05 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-15 13:30:05 -0400 |
| commit | 5617905a03c6810978cc66a18a370f5a95b7c5b4 (patch) | |
| tree | be7056c33d500449d59e6de585fd93b5db860311 /src/parser/smt1 | |
| parent | a485a56258bdac2cdb2214dbcae5268b11f1d95b (diff) | |
Boolean terms rewriting for quantified variables of type Bool, when quantifier body uses them in term context
Diffstat (limited to 'src/parser/smt1')
0 files changed, 0 insertions, 0 deletions