Home	•	Docs	•	Download	•	Mail	•	FAQ	•	Awards	•	Status	•	MSR

An Efficient SMT Solver

People

Project Leaders

• Leonardo de Moura

• Nikolaj Bjørner

2007 Interns

• Bryant Lee

• Joe Hendrix

Friends

• Jakob Lichtenberg (Windows - SDV)

• Jonathan 'Peli' de Halleux