cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Collapse)	Author
2015-12-23	Added extract.cpp example	Clark Barrett

2014-12-06	Added C++/Java api examples;	Tianyi Liang
	Converted cset to be vector of char, instead of vector of int, since we only accept ascii in input.
2014-06-25	sets api example	Kshitij Bansal

2014-06-06	rm warning from helloworld example	Kshitij Bansal

2013-12-24	Java datatype API fixups, datatype API examples	Morgan Deters

2012-12-01	added a new example for the combination of bit-vectors and arrays (includes ↵	Liana Hadarean
	model generation) and set the logic for the bitvector example
2012-11-30	all API examples now have java versions too; bitvectors gets built; also ↵	Morgan Deters
	updated old-style copyrights in the examples
2012-11-30	Changes to SExpr to accept autoconversion from bool and const char*. Adding ↵	Tim King
	an example for combination.
2012-11-28	Adding the helloworld.cpp example.	Tim King