/libopt++/