diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-04-09 16:56:56 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-04-17 12:39:09 -0400 |
commit | 4b02944c70522de78713f9870d2eccbf348bfcf6 (patch) | |
tree | 442279fd0c2aa1eac2759f2c2b9fb405afb5d35a /src/theory/quantifiers/term_database.cpp | |
parent | fccff6adcc0a69273a54110596214f7927a96033 (diff) |
use internal skolem numbering
Diffstat (limited to 'src/theory/quantifiers/term_database.cpp')
0 files changed, 0 insertions, 0 deletions