> Well, there's nothing to stop you using Z3 in production code now ;) > > I'm not sure that it'd be altogether wise, though, So there's nothing to stop fools. Fools rush in where angels fear to tread! And we're certainly not angels! -- Jean Jordaan http://www.upfrontsystems.co.za