diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-03-07 12:39:50 -0600 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-03-07 12:39:50 -0600 |
commit | b4c7be882b88c6741212ecd9c6be4e91fec76087 (patch) | |
tree | 0f96427e0e6f84ff6ac60ac81ff6f13459515295 /src/smt/smt_engine.h | |
parent | ea514f2aa787998ac31f8546bd202890f6bac056 (diff) |
Minor change to F-Length inference in strings. No internal tracking of cardinality assertions in uf. Change fullModel false array collectModelInfo to assign constants.
Diffstat (limited to 'src/smt/smt_engine.h')
0 files changed, 0 insertions, 0 deletions