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
Merge branch 'master' of github.com:tiliang/CVC4