Project Members

• Leonardo de Moura
• Nikolaj Bjørner
• Christoph Wintersteiger

2007 Interns

• Bryant Lee
• Joe Hendrix

2008 Interns

• Yeting Ge
• Ruzica Piskac
• Alexandre Rademaker
• Christoph Wintersteiger

2009 Interns

• Grant Passmore
• Yannick Moy

2010 Interns

• Christoph Wintersteiger
• Dejan Jovanovic

2008 Visitors

• Maria Paola Bonacina
• Andrei Voronkov

Friends

• Michal Moskal: VCC
• Byron Cook: Z3 power pack
• Jonathan 'Peli' de Halleux
• Youssef Hamadi: parallelism in Z3
• Jakob Lichtenberg (Windows - SDV): OCaml API for Z3
• Josh Berdine: OCaml API for Z3.