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 command line version

• Equation Generator ver. 1.6 for RMCs (for all OSes 32/64 bit, at least Java 11 required)
  For a given RMC, it generates equations for probability of termination or expected reward before termination (for 1-exit RMCs and multiexit RMCs). Supports defining rewards on edges, and simplify the generated equations.
  Run

   java -jar eqgenerator-6.jar --help 

  to see all its options
• Equation Generator ver. 1.4 for RMCs (for all OSes 32/64 bit)
  The old version in case the one above does not work for you. Run

   java -jar eqgenerator.jar --help 

  to see all its options
• Equation Solver ver. 1.6 (for all OSes 32/64 bit, at least Java 11 required)
  Solves any given equation system. It is around twice as fast as the old version.
  Run:

   java -jar eqsolver-6.jar --help

  to see all its options.
• Equation Solver (for all OSes 32/64 bit)
  The old version in case the one above does not work for you. Run:

   java -jar eqsolver.jar --help

  to see all its options.

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