Installation

The system has been tested and developed on ubuntu 16.04. All the default external software installations are done with ubntu 16.04 sources. The user can get a default copy of ubuntu 16.04 sources from its website. The software uses

  • re2c 0.16
  • lemon 1.0
  • Boost 1.54
  • aclocal 1.15
  • autoconf 2.69
  • automake 1.15
  • make 4.1
  • sympy 1.10
  • clingo 4.5.4
  • Alchemy 2.0
  • Tuffy 0.3
  • Rockit 0.5.227
Note that for lpmln2asp, clingo requires gringo library in its PYTHON path. To check if the library is installed type import gringo in the python shell and it should import the module if present. There are certain prerequisite software that is required to be installed on your system to compile this project. On debian based systems, these tools can be downloaded by writing the following line in command prompt 

sudo apt-get install git uuid-dev autotools-dev libboost-all-dev

There are also some python modules required for lpmln2asp to work. You can use either pip or easy_install to install them. To install using pip type 

sudo pip install ipdb sympy

If the system does not recognize pip, you can install pip from here.
Enter the below lines in your command prompt (unix) to acquire and install LPMLN packages. 

git clone -b LPNMR-draft https://github.com/samidhtalsania/lpmln.git
aclocal
autoconf
automake --add-missing
./configure
sudo make install

This system depends on available systems: Clingo for lpmln2asp and Alchemy, Rockit, Tuffy for lpmln2mln.
Download links: