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