AUTHORS

Mate Soos
ysard (Pierre) from GitHub
Arijit Shaw
Martin Hořeňovský
Alexander Scheel
Marcel Bargull
Andres Notzli
Simon Felix
Julian Rüth
Martin Maurer
Vegard Nossum
Sami Liedes
Alex Odinayev
Martin Albrecht
Kuleep S. Meel
Jan Mazak
Finn Haedicke
Erik M. Bray
Davin Choo
Yevgeny Kazakov
Rui Chen
Robert Grosse
Martin Nowack
Jörg Thalheim
Gleb Popov
Dennis Yurichev
Dan Liew
Yuri Pirola
Sudhanshu Mishra
Storyyeller
Rion Snow
Reuven Peleg
Lars Schmertmann
David E. Narváez
Daniel Fremont
Curtis Bright
Marie Maurer
Brian Mastenbrook
Andrew V. Jones
Andrew Ross
Andrew Johnson
Shaowei Cai (CCANR solver)

Acknowledgements:
The author would like to thank in no particular order Horst Samulowitz,
Marius T. Lindauer, Martin Maurer, Martin Albrecht, Vegard Nossum,
Valentin Mayer-Eichberger, George Katsirelos, Karsten Nohl,
Luca Melette, Marijn Heule, Vijay Ganesh, Trevor Hansen and Robert
Aston for their help.