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

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