daajoe / dynasp

dynasp

##REQUIREMENTS

Debian

System Packages

$ sudo apt-get install git libgmp-dev libtool-bin flex bison g++

External Packages

• cmake (3.2+)

$ wget https://cmake.org/files/v3.6/cmake-3.6.1-Linux-x86_64.tar.gz
$ tar xf cmake-3.6.1-Linux-x86_64.tar.gz

Add cmake bin to path

##INSTALLATION Just clone the repository including all the submodules via

$ git clone --recursive https://github.com/daajoe/dynasp.git

or

$ git clone https://github.com/daajoe/dynasp.git && cd dynasp/
$ git submodule init
$ git submodule update --checkout --recursive

BUILD

• prepare local root

  $ mkdir ~/.local

• build htd

  $ cd dynasp/htd
  $ cmake -DCMAKE_INSTALL_PREFIX:PATH=~/.local/usr && make -j 5 all install

• build sharp

  $ cd dynasp/sharp
  $ cmake -DCMAKE_INSTALL_PREFIX:PATH=~/.local/usr .
  $ make install

• build htd

  $ cd dynasp/
  $ cmake -DCMAKE_INSTALL_PREFIX:PATH=~/.local/usr .
  $ make install

dynasp's Issues

make: *** No rule to make target 'stack.hh', needed by 'all'. Stop.

Hi,
I download the dynasp under master branch from here: https://github.com/daajoe/dynasp.
I successfully compiled htd and sharp.
However when I run "sudo make" for dynasp.
I got this error at the beginning:
"make: *** No rule to make target 'src/parsers/LParseBisonParser.hh', needed by 'all'. Stop."
I referred to this issue ticket: #3, and solved this problem. Then I run "sudo make" again, I got this error message:
"make: *** No rule to make target 'stack.hh', needed by 'all'. Stop."
Any help will be grateful.

'configure.ac' or 'configure.in' is required

After reading your comment (comment link) I have checkout the branch 2nd-lvl-opt.
I have successfully installed htd and sharp library according to INSTALL file in the corresponding folders.

To install dynasp, I have tried to follow the instructions in INSTALL (Link here) file. The first command for compilation is ./configure.

As there is no configure file in the folder, command ./configure was failed.

I have also tried to generate configure using autoconf. But to generate it using autoconf, configure.ac or configure.in is required.

Does not appear to contain CMakeLists.txt.

I was trying to build sharp inside folder /dynasp/sharp according to instructions in README.md. But I got the following error message:

CMake Error: The source directory "/home/mahi/Study/dynasp/sharp" does not appear to contain CMakeLists.txt.

Also got same error when I tried to build dynasp inside folder /dynasp.
My cmake version is 3.5.1.
I cloned the master branch code

td->maximumBagSize() <= 15 failed

Hi,
I want to know how to solve the following failure:

src/IterativeTreeSolver.cpp:300: virtual htd::ITreeDecomposition* sharp::IterativeTreeSolver::decompose(const sharp::IInstance&, bool, unsigned int, bool) const: Assertion `td->maximumBagSize() <= 15' failed

Is it the case the treewidth is too high so that Dynasp cannot count answer sets?
Thanks in advance.

make: *** No rule to make target '...'

I have downloaded the code of release v2.2.0 link here.
I have installed libhtd.so and libsharp.so library successfully.
Inside directory dynasp, I have configured the package for my system using command ./configure.
Then I have tried to compile using command make. But I have got the error: make: *** No rule to make target 'src/parsers/LParseBisonParser.hh', needed by 'check'. Stop.
It also seems that for some other targets there is no rules to make.