Newer
Older
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
49
50
51
52
53
/********************************************************************
* PROGRAM NAME: STP (Simple Theorem Prover)
*
* AUTHORS: Vijay Ganesh
*
* BEGIN DATE: November, 2005
*
* LICENSE: Please view LICENSE file in the home dir of this Program
********************************************************************/
Primary Author and Project Leader
---------------------------------
* Vijay Ganesh
Stanford University, Stanford, CA, USA (Nov, 2005 to 2007),
MIT, Cambridge, MA, USA (Oct, 2007 to Sep 2012)
University of Waterloo (Sep 2012 to present
Current Authors
---------------
* Mate Soos
Paris University 6, Paris, France (Nov 2009 - present)
* Dan Liew
Imperial College, London, UK (2013 - present)
* Khoo Yit Phang
University of Maryland, College Park, USA (2013 - present)
* Ryan Govostes
Other Significant Author
------------------------
* Trevor Alexander Hansen
University of Melbourne, Australia (Sep, 2008 - present)
Authors who contributed some code
---------------------------------
* Michael Katelman
University of Illinois, Urbana-Champaign, USA (July - Oct, 2008)
* David L. Dill
Stanford University, Stanford, CA, USA (Nov - Dec, 2005)
* Tim King
Stanford University, Stanford, CA, USA (July - Sep, 2007)
* Philip Guo
Stanford University, Stanford, CA, USA (Dec 2008)
Thanks
----------
* Steve Poland for the 'stp' group name in GitHub