deadalnix: > OK, but how does that work internally :D http://research.microsoft.com/en-us/um/redmond/projects/z3/ In that page there are links to papers too. Bye, bearophile