>What I've been doing, by the way, is using z3 >(see http://z3.codeplex.com/). I guess I'll have to put up a web page >with my programs. Excellent, Robert. I, for one, would really like to see your code. Ed Jeffery