change options
bug fix
Bug fixes for bounded integer quantification.  Current best strategy is to turn off MBQI.  Disable relevant triggers by default.
Adds the header file into makefile, solving building error; adds cache for derivative; disables loop detection when finite model finding is enabled.
Fix "make distclean", which should fix some of the build issues from last night
Flatten libcvc4 build structure; remove some #include interdependences
Minor fixups to last commit
Fix "make distclean", which should fix some of the build issues from last night
Merge branch 'master' of https://github.com/CVC4/CVC4
Fix compat-java library naming on Mac OS; thanks to Zheng Manchun for reporting this issue
Change exit status to be more consistent with other command-line tools: 0 success, nonzero error
Some fixes to build system with dependency-tracking is off; should fix RPM/Debian builds.
Expanded usefulness of (set-info :cvc4-logic ...)
Merge branch 'master' of https://github.com/CVC4/CVC4
length lemma is changed, var-split lemma is changed
Minor build system cleanup
Fix new-theory script for new, flattened build system.
add loop cache
add loop cache
Merge branch 'master' of github.com:tiliang/CVC4