RSolver CodeSVN

Brought to you by: stefan_ratschan

CodeSVN Commit Log

Commit	Date
[r266] by stefan_ratschan * empty log message *	2012-02-23 09:03:56	Tree
[r265] by franp9am in degree.ml, I added a quadratic function of degree two, for testing..	2012-02-22 22:21:56	Tree
[r264] by stefan_ratschan linear relaxation only after interval pruning	2012-02-22 17:45:10	Tree
[r263] by stefan_ratschan * empty log message *	2012-02-22 17:38:59	Tree
[r262] by stefan_ratschan non-overlapping assertion	2012-02-22 17:38:40	Tree
[r261] by stefan_ratschan flush	2012-02-22 17:34:11	Tree
[r260] by franp9am creating an example function with degree 2	2012-02-21 23:13:07	Tree
[r259] by franp9am degree.ml -- continuation; it seems to work already somehow	2012-02-20 20:14:30	Tree
[r258] by stefan_ratschan cleaned	2012-02-20 16:20:39	Tree
[r257] by franp9am adding Makefile-degree	2012-02-20 14:32:51	Tree

Older >