src/work/marci/lp/lp_solver_wrapper_3.h
Fri, 14 Jan 2005 13:17:16 +0000 more precise distinction 'tween low and high level lp interfaces
Tue, 11 Jan 2005 17:15:46 +0000 :-}