RSolver CodeSVN

Brought to you by: stefan_ratschan

CodeSVN Commit Log

Commit	Date
[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
[r59] by sven_buente first try	2006-03-09 16:00:24	Tree
[r58] by stefan_ratschan updated stub interface	2006-03-08 14:57:41	Tree

Older >