some debugging changes
more
inputs to trigger bug
try foreach on CD datastructure
prep for fix
fix
add tests
fix get-info error-behavior
Handle fmf.card as input from user, add support in SMT2 parser, as requested by Martin Brain.  Fix two minor bugs : E-matching with datatypes, instantiation caching with incremental.
Revert E-matching datatypes fix.
Minor change to better support parameterized partial/total kinds (for upcoming datatypes work).
Merge pull request #24 from kbansal/sets-model

sets, misc
refactor .travis.yml
Add support for cardinality constraints logic UFC.  Add regressions in fmf/.  Fix datatypes E-matching bug.  Change defaults : mbqi=fmc, decision heuristic stoponly=false for quantified logics, decision=justification for ALL_SUPPORTED, full-saturate-quant=false.  Minor fix for fmc models.  Add infrastructure to datatypes to prepare for next commit.
minor fix for strings
minor fix for strings
Merge branch 'master' of github.com:tiliang/CVC4
Boolean terms conversion fix for datatypes, fixes a problem Andy discovered on his branch.
Expand definitions in theory datatypes, now has the expected semantics for incorrectly applied selector terms.
Fix the build; --check-proof works for UF but not for the new UFC logic.