Index of /pub/challenge/satisfiability/contributed/naylor

	Name	Last modified	Size	Description
	Parent Directory		-
	compile.c	1993-03-28 10:47	6.4K
	compile.h	1993-03-28 10:47	272
	main.c	1993-03-28 10:47	1.4K
	makefile	1993-03-28 10:47	169
	problem.txt	1993-03-28 10:47	1.0K
	ve	1993-03-28 10:47	27
	wncons.h	1993-03-28 10:47	612
	wncrsh.c	1993-03-28 10:47	5.0K
	wncrsh.h	1993-03-28 10:47	1.1K
	wnlib.h	1993-03-28 10:47	522
	wnmac.h	1993-03-28 10:47	632
	wnport.h	1993-03-28 10:47	493
	wnswap.h	1993-03-28 10:47	623
	wntype.h	1993-03-28 10:47	930
	README	1993-03-28 11:22	3.6K