test/mip_test.cc
Mon, 17 Jul 2006 09:31:41 +0000 mip_test file went to mip_demo.
Mon, 17 Jul 2006 09:00:21 +0000 MIP support added (by Jano, the Great).