LinBox timer is Givaro's. More...
#include <time.h>
#include <givaro/givtimer.h>
LinBox timer is Givaro's.