modifications.5

vc的源代码程序的基于最小特征向量的元素的集合方法的程序源代码

Modifications since book was published:

--------------------------------------------------------------------------------
(1)	17 August 1992:  fixed bug in prunerule.c

	In routine Satisfies about line 434:
	moved statement
		    t->Outcome = -1;
	to before the for loop
--------------------------------------------------------------------------------