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

Age	Commit message (Expand)	Author
2016-07-26	Minor improvements to strings related to constant splitting, including a few ...	ajreynol
2016-07-16	Refactor strings extf evaluation info. Ensure strings eager preprocess elimin...	ajreynol
2016-07-06	Add comment field for model, resolves hack for printing sep logic models.	ajreynol
2016-03-01	Shorter explanations for strings based on tracking which parts of normal form...	ajreynol
2016-02-26	Refactoring of inferences in strings. Add several options.	ajreynol
2016-02-24	Add entailment checks between length terms to reduce splitting in strings sol...	ajreynol
2016-01-28	Adding listeners to Options.	Tim King
2015-12-14	Refactoring Options Handler & Library Cycle Breaking	Tim King