7 Commits

Author	SHA1	Message	Date
Aina Niemetz	a6bd02c5c4	Update copyright headers.	2019-03-26 11:33:55 -07:00
Aina Niemetz	3b91ff439d	Updated copyright headers.	2018-06-25 14:11:54 -07:00
Mathias Preiner	4fa50d3881	Update copyright headers.	2017-07-07 14:57:36 -07:00
PaulMeng	904ffb6e73	update from the master	2016-04-20 14:43:18 -05:00
Clark Barrett	dea679ce03	A few more minor updates to match google repository with CVC4 repository ... (mostly whitespace differences).	2015-04-23 09:43:52 -07:00
Tianyi Liang	3bb096fbdb	Added string constant in java api example.	2014-12-06 15:28:52 -06:00
Tianyi Liang	c4410c3123	Added C++/Java api examples; ... Converted cset to be vector of char, instead of vector of int, since we only accept ascii in input.	2014-12-06 13:26:24 -06:00