RSolver CodeSVN

Brought to you by: stefan_ratschan

CodeSVN Commit Log

Commit	Date
[r76] by stefan_ratschan relaxation: minor changes, documentation	2006-05-23 10:49:06	Tree
[r75] by sven_buente debugging...	2006-05-19 00:17:28	Tree
[r74] by sven_buente better performance for univariate mvc (less constraints for differentiation)	2006-05-16 11:15:02	Tree
[r73] by sven_buente removed bug (unary constr. removed earlier)	2006-05-16 10:03:19	Tree
[r72] by sven_buente not needed anymore	2006-05-12 13:40:08	Tree
[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

Older >