Le 12/06/2012 15:52, bearophile a écrit :
deadalnix:OK, but how does that work internally :Dhttp://research.microsoft.com/en-us/um/redmond/projects/z3/ In that page there are links to papers too. Bye, bearophile
Thank you very much. I was turning endlessly in the website without finding that. I now have some stuffs to read.