BoolEx.install
Copyright © 1985, 1986 by Xerox Corporation. All rights reserved.
Last Edited by: Don Curry September 18, 1987 10:12:41 am PDT
Install SParse
Run BoolExImpl BoolExGen