Index of /~jpp/mipts

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	2007-10-06 09:16	440
	README	2007-10-06 09:16	1.1K
	mip.c	2007-10-06 09:16	6.4K
	mip.h	2007-10-06 09:16	2.6K
	tabusearch.c	2007-10-06 09:16	13K