4 commits

Author	SHA1	Message	Date
Nicolo Fusi	d9b03044ac	moved randomize() in a more proper place	2013-02-25 12:21:25 +00:00
Nicolò Fusi	1705ecce91	optimize_restarts() is now parallel (load-balanced). It also mantains compatibility with the verbose and robust options	2013-02-24 13:23:46 +00:00
Nicolo Fusi	92adeecb6c	added copyright notice and license at the top	2012-11-29 16:39:20 +00:00
Nicolo Fusi	aa13e095a9	utils	2012-11-29 16:26:21 +00:00