AssertionError: Call to NuSMV resulted in return code 127.

[Anonymous]

After installing PyBoolNet on 64bit Ubuntu 14.04 and running

>>> import PyBoolNet
>>> PyBoolNet.Tests.dependencies.run()

I get the error message

FAIL: test_nusmv_responds (PyBoolNet.Tests.dependencies.TestNuSMV)

Traceback (most recent call last):
File "../PyBoolNet/Tests/dependencies.py", line 98, in test_nusmv_responds
self.assertEqual( proc.returncode, 0, msg )
AssertionError: 
Call to NuSMV resulted in return code 127.
command: "../PyBoolNet/Dependencies/NuSMV-2.5.4/bin/NuSMV"

and when I call NuSMV directly with the command

/usr/local/lib/python2.7/dist-packages/PyBoolNet/Dependencies/NuSMV-2.5.4/bin/NuSMV

I get the error:

error while loading shared libraries: libexpat.so.1: cannot open shared object file: No such file or directory

[Hannes Klarner]

it seems that currently PyBoolNet works only for 32bit Linux out of the box. If you are working with a 64bit OS download the 64bit binaries of NuSMV from http://nusmv.fbk.eu/ and change the path to the NuSMV executable in the settings.cfg file which is located in

/usr/local/lib/python2.7/dist-packages/PyBoolNet/Dependencies/settings.cfg

that is, change it from

nusmv = ./NuSMV-2.5.4/bin/NuSMV

to

nusmv = /path/to/your/nusmv/bin/NuSMV