Downloads

European Peg-Solitaire (37 pegs)

European Peg-Solitaire (~3 billion states) experiment with the new Mercury disk-based algorithm.

Files:

  • Model: eurosol.net
  • DISK-based experiment: eurosol_DISK_th_4_disc_factor_8.txt
  • RAM-based experiment: eurosol_RAM.txt
  • Download

Examples

This file contains a set of Petri nets (tpn format) to be used with Mercury.

Classical Examples:

  1. Philosopher (ph);
  2. Flexible Machine System (fms).

Games Examples taken from Beem Database:

  1. 15 Puzzle (fifteen);
  2. Sokogan (sokoban);
  3. Tower of Hanoi (hanoi);
  4. Frogs and Toads (frog);
  5. Peg-Solitaire (solitaire).

Out of the Oven: Mercury Binary for LINUX 64 bits

We are proud to announce Mercury version 1.0!

Features:

  1. Parallel State Space Exploration
    • Local CTL* Model Checking
  2. Probabilistic State Space Exploration
    • Reachability analysis
  3. Disc based State Space Exploration
    • option “-disc”, “-disc_async” (See USAGE)
    • GIVE IT A TRY, YOU WILL BE SURPRISED!!
    • Ex: mercury -th 4 -bls 24 -disc_async example.net

Dependencies:

Mercury uses the Hoard library to allocate memory.   Please, download the latest Hoard library version from http://www.hoard.org/ and set the path variable LD_PRELOAD to use Hoard instead of the system allocator. See section INSTALLATION.

Download binary

Download Source Code