Leonardo de Moura
home
about me
publications
slides
research
Blog Posts
15 Feb 2013
»
Nightly builds for Z3
02 Feb 2013
»
Computing with field extensions
26 Jan 2013
»
Complex Numbers in Z3
10 Dec 2012
»
Z3 for Java
19 Nov 2012
»
External contributions
11 Nov 2012
»
Reorganizing the Z3 code base
02 Oct 2012
»
Releasing the Z3 source code