src/work/marci/lp/lp_solver_wrapper_2.h
Tue, 04 Jan 2005 17:54:41 +0000 minor changes for various number types
Mon, 06 Dec 2004 11:56:10 +0000 :-(