The authors and contributors to Leo-III are listed below.

The main developers are
 * Christoph Benzmüller (2013 - ongoing)
 * Alexander Steen (2013 - ongoing)
 * Max Wisniewski (2013 - 2018)
 
with contributions from
 * Tomer Libal
 * Hans-jörg Schurr
 
and many others.

 
Leo-III contains PicoSat (http://fmv.jku.at/picosat/) by Armin Biere, Johannes Kepler University
and others.

Leo-III uses a C program by Geoff Sutcliffe <geoff@cs.miami.edu> called TreeLimitedRun 
to limit the execution time of external provers.


