RSolver CodeSVN

Brought to you by: stefan_ratschan

CodeSVN Commit Log

Commit	Date
[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
[r61] by sven_buente differentation added	2006-03-20 19:17:52	Tree
[r60] by sven_buente substitution changed	2006-03-20 13:38:36	Tree

Older >