add seperate regular expression files
add seperate regular expression files
Merge branch 'master' of github.com:tiliang/CVC4
change options
Bug fixes for bounded integer quantification.  Current best strategy is to turn off MBQI.  Disable relevant triggers by default.
bug fix
Bug fixes for bounded integer quantification.  Current best strategy is to turn off MBQI.  Disable relevant triggers by default.
change options
bug fix
Adds the header file into makefile, solving building error; adds cache for derivative; disables loop detection when finite model finding is enabled.
Adds the header file into makefile, solving building error; adds cache for derivative; disables loop detection when finite model finding is enabled.
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
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