Index of /~shm/Software/progol4.5/source

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	2002-04-24 15:46	833
	alloc.c	2002-04-24 15:46	3.9K
	bits.c	2002-04-24 15:46	24K
	chi.c	2002-04-24 15:46	4.4K
	clause.c	2002-04-24 15:46	11K
	command.c	2002-04-24 15:46	8.8K
	cost.c	2002-04-24 15:46	1.6K
	deduce.c	2002-04-24 15:46	16K
	ext_fn.h	2002-04-24 15:46	3.9K
	ext_var.h	2002-04-24 15:46	7.3K
	func.c	2002-04-24 15:46	2.6K
	hash.c	2002-04-24 15:46	4.3K
	init.c	2002-04-24 15:46	13K
	integrat.c	2002-04-24 15:46	9.3K
	interp.c	2002-04-24 15:46	13K
	interp.h	2002-04-24 15:46	2.7K
	item.c	2002-04-24 15:46	19K
	lib.c	2002-04-24 15:46	78K
	list.c	2002-04-24 15:46	6.0K
	main.c	2002-04-24 15:46	2.4K
	plg.c	2002-04-24 15:46	1.1K
	progol.h	2002-04-24 15:46	13K
	qsample.c	2002-04-24 15:46	3.3K
	reduce.c	2002-04-24 15:46	30K
	sample.c	2002-04-24 15:46	15K
	sat.c	2002-04-24 15:46	20K
	set.c	2002-04-24 15:46	7.7K
	subsume.c	2002-04-24 15:46	2.3K
	terms.c	2002-04-24 15:46	24K
	utils.c	2002-04-24 15:46	6.3K
	xy.c	2002-04-24 15:46	2.1K