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

Age	Commit message (Collapse)	Author
2014-09-26	Fix some configuration-related oddness.	Morgan Deters

2014-06-23	Fix header check for glpk.h.	Morgan Deters

2014-06-19	Clean up glpk detection a little, fix a detection bug.	Morgan Deters

2014-06-19	get-glpk-cut-log script, and configure code.	Morgan Deters

2014-05-19	Fixing documentation for glpk configuration.	Tim King

2014-05-05	Improving documentation for glpk-cut-log switch.	Tim King

2014-03-07	Merging a squash of the branch timothy-king/CVC4/glpknecfix c95bf7d4f1 into ↵	Tim King
	master. See the CAV14 submission for an explanation of the changes to the integer solver's behavior. If compiled against the our custom extension of glpk, https://github.com/timothy-king/glpk-cut-log, this should have substantial differences in behavior. This should have moderate performance differences for linear real and integer arithmetic even if these features are disabled.
2013-05-16	configure fix for building with glpk on redhat, perhaps others	Morgan Deters

2013-04-26	FCSimplex branch merge	Tim King