Downloading PReMo

A 1.3.1 version with a Graphical User Interface

• Windows 32-bit version
• Linux 32-bit version
• MacOS 32-bit version

A 1.4 command line version

• Equation Generator for RMCs (for all OSes 32/64 bit)
  For a given RMC, it generates equations for probability of termination or expected number of steps to terminate (for 1-exit RMCs only)
  Run

   java -jar eqgenerator.jar --help 

  to see all its options
• Equation Solver (for all OSes 32/64 bit)
  Solves any given equation system
  Run:

   java -jar eqsolver.jar --help

  to see all its options.

 cat rmc1.c | java -jar eqgenerator.jar --quiet | java -jar eqsolver.jar