Merge branch 'master' of https://github.com/javapathfinder/jpf-core
[jpf-core.git] / README.md
1                           Java PathFinder README
2                           ======================
3
4 ========General Information about JPF ===================
5
6 All the latest developments, changes, documentation can
7 be found at: 
8
9 https://github.com/javapathfinder/jpf-core/wiki
10
11 ========Building and Installing =========================
12
13 If you are having problems installing and running JPF
14 please look at the documentation on the wiki at:
15
16 https://github.com/javapathfinder/jpf-core/wiki/How-to-install-JPF
17
18 A lot of the commonly problems during the install and build
19 process have been documented on the wiki. Please make sure
20 that the the issue you are running into is not addressed
21 there; if is not then feel free to contact us at
22 java-pathfinder@googlegroups.com
23
24
25 ======Documentation======================================
26
27 There is a constant effort to update and add JPF
28 documentation on the wiki. If you would like to contribute
29 in that, please contact us at
30 java-pathfinder@googlegroups.com
31
32
33
34 Happy Verification
35 -- the Java PathFinder team