forked from msoos/cryptominisat
-
Notifications
You must be signed in to change notification settings - Fork 0
/
AUTHORS
48 lines (47 loc) · 887 Bytes
/
AUTHORS
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
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
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.