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

Age	Commit message (Expand)	Author
2013-10-15	bug fix: string cache cleaning	Tianyi Liang
2013-10-14	add another regexp test	Tianyi Liang
2013-10-11	Adds regular expression support, it is actually CFL because of variables.	Tianyi Liang
2013-10-01	adds partial function substr. the use of this function should be guarded, esp...	Tianyi Liang
2013-09-30	replace with a new method for disequality, move to QF_S	Tianyi Liang
2013-09-27	adds communication with arith engine	Tianyi Liang
2013-09-27	removes unsound cases, adds unrolling	Tianyi Liang
2013-09-27	adds model generation for strings, and a hacked way in arith engine for models	Tianyi Liang
2013-09-18	Support a personal build configuration and make rules.	Morgan Deters
2013-09-11	Theory of strings.	Tianyi Liang