Fix dt.size care graph.
Added C++/Java api examples;
Converted cset to be vector of char, instead of vector of int, since we only accept ascii in input.
Added C++/Java api examples;
Converted cset to be vector of char, instead of vector of int, since we only accept ascii in input.
Merge branch 'master' of github.com:tiliang/CVC4
sygus input language and benchmark