string fmf changes
string fmf changes
Merge branch 'master' of github.com:tiliang/CVC4
string fmf changes
Merge branch 'master' of github.com:tiliang/CVC4
rm ChangeLog (use NEWS)
string fmf perfomance fix
string fmf changes
string fmf perfomance fix
Merge branch 'master' of github.com:tiliang/CVC4
change string news
Work around a swig segfault issue when building on  Mac OS
Re-enable predicate subtyping, reversing commit 8f9f549 (needed for Kind integration)
fix for lambdas in relation to subtypes
fixup for miplib trick (related to lambda fix for subtypes)
subrange-related fix
new --tear-down-incremental mode
new --force-logic option that overrides what the input says
more ITE rewrites
some of the minisat markers/assumption framework