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

Age	Commit message (Expand)	Author
2014-11-07	Properly distinguish which EQC to assign values in datatypes, use assertRepre...	ajreynol
2014-11-01	Fix cegqi for synthesis without syntax.	ajreynol
2014-10-16	Add dt.size to datatypes theory. Add option for fairness strategy used by CE...	ajreynol
2014-10-13	CEGQI uses model. Enforce fairness in CEGQI natively.	ajreynol
2014-10-13	Refactor model builder from model engine to quant engine. Work on fairness s...	ajreynol
2014-10-10	Initial draft of CEGQI.	ajreynol
2014-10-10	Add owner map to better manage QuantifiersModules. Initial infrastructure fo...	ajreynol