People Main Authors and Developers Armin Biere (since 2007) Aina Niemetz (since 2012) Mathias Preiner (since 2012) Former Members Robert Brummayer (2007-2009)