RSolver CodeSVN

Brought to you by: stefan_ratschan

CodeSVN Commit Log

Commit	Date
[r71] by sven_buente changes for multivariate mean value contractor	2006-05-12 13:38:32	Tree
[r70] by sven_buente uni-variate mean value contractor on all variables implemented	2006-04-27 14:53:06	Tree
[r69] by stefan_ratschan clearing quantifiers	2006-04-07 10:41:47	Tree
[r68] by sven_buente bound on variable "t" in quantifier now expressed via IsElement-constraint	2006-04-05 15:21:17	Tree
[r67] by stefan_ratschan pruneUnivQuantBound: clear bounds after pruning	2006-04-05 12:17:36	Tree
[r66] by stefan_ratschan bugfix pruneUnivQuantBound	2006-03-29 16:11:04	Tree
[r65] by sven_buente removed some bugs, introduced probably some new.	2006-03-28 16:42:32	Tree
[r64] by sven_buente changed order in generation of branches in atomic constr.. Simplifies test for mean-value contractor.	2006-03-23 11:40:21	Tree
[r63] by sven_buente new	2006-03-23 10:33:15	Tree
[r62] by sven_buente fixing errors	2006-03-23 10:32:09	Tree

Older >