On Saturday 20 May 2006 11:04, Florian Lindner wrote: > How to use it? I would strongly suggest looking into hurry.query from z3-base. It is very easy to use. Regards, Stephan -- Stephan Richter CBU Physics & Chemistry (B.S.) / Tufts Physics (Ph.D. student) Web2k - Web Software Design, Development and Training