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