Smarter options, but still have a bug
Smarter options, but still have a bug
add warning for using strings in ALL_SUPPORTED
Merge branch 'master' of github.com:tiliang/CVC4

Conflicts:
	src/smt/smt_engine.cpp
solve string exp issue for regexp