Instalation

Source

Mercury is available as an open source project under the MIT Licence. You can download the source from github or use the binary (64bits).

Dependencies:

At the present moment, 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.

After downloading the right binary for your architecture (32 or 64 bit), you can test Mercury with one of the examples supplied at the “examples.tar” file. Please, be aware that some of these examples have state spaces of the order of millions of states and, by consequence, it may saturate your computer’s memory. Mercury was initially conceived for multiprocessors machines but nothing prevents it from being used on desktop machines.

Usage example:

setenv LD_PRELOAD /path_to_hoard/libhoard_64.so
mercury -th 2 hanoi_8.net

Downloads

Check our Downloads section for the latest build.