The approxasp2 from meelgroup

Independent Support Generation

I don’t see independent support files included or a way to generate them. I assume that LP2NORMAL (https://research.ics.aalto.fi/software/asp/lp2normal/) is used for ASP to SAT translation, and MIS (https://github.com/meelgroup/mis) for independent support generation, whose files can be used with ApproxASP . Is this correct? Thanks.
Installation and Usage

Hello, I have read your paper and am interested in using ApproxASP. Are there instructions on installation and usage I can follow to run your code? Thanks!
Failure on make command

When running make I get the following errors:
mkdir -p Obj
g++ -g -std=c++11 -c EGaussian.cpp  -o Obj/EGaussian.o
In file included from EGaussian.h:45,
                 from EGaussian.cpp:30:
solverstate.h: In member function ‘dret SolverState::has_backtracked()’:
solverstate.h:131:59: error: invalid conversion from ‘const clingo_assignment_t*’ {aka ‘const clingo_assignment*’} to ‘clingo_assignment_t*’ {aka ‘clingo_assignment*’} [-fpermissive]
         decision_level = clingo_assignment_decision_level(values);
                                                           ^~~~~~
In file included from solverstate.h:30,
                 from EGaussian.h:45,
                 from EGaussian.cpp:30:
/usr/include/clingo.h:930:90: note:   initializing argument 1 of ‘uint32_t clingo_assignment_decision_level(clingo_assignment_t*)’
 CLINGO_VISIBILITY_DEFAULT uint32_t clingo_assignment_decision_level(clingo_assignment_t *assignment);
                                                                     ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
In file included from EGaussian.h:45,
                 from EGaussian.cpp:30:
solverstate.h:145:40: error: invalid conversion from ‘const clingo_assignment_t*’ {aka ‘const clingo_assignment*’} to ‘clingo_assignment_t*’ {aka ‘clingo_assignment*’} [-fpermissive]
             clingo_assignment_decision(values, level, &decision_literal);
                                        ^~~~~~
In file included from solverstate.h:30,
                 from EGaussian.h:45,
                 from EGaussian.cpp:30:
/usr/include/clingo.h:955:80: note:   initializing argument 1 of ‘bool clingo_assignment_decision(clingo_assignment_t*, uint32_t, clingo_literal_t*)’
 CLINGO_VISIBILITY_DEFAULT bool clingo_assignment_decision(clingo_assignment_t *assignment, uint32_t level, clingo_literal_t *literal);
                                                           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
In file included from EGaussian.h:45,
                 from EGaussian.cpp:30:
solverstate.h: In member function ‘dret SolverState::get_assignment(clingo_propagate_control_t*, PackedRow*, PackedRow*, std::vector<unsigned int>)’:
solverstate.h:171:58: error: invalid conversion from ‘const clingo_assignment_t*’ {aka ‘const clingo_assignment*’} to ‘clingo_assignment_t*’ {aka ‘clingo_assignment*’} [-fpermissive]
         is_total_assignment = clingo_assignment_is_total(values);
                                                          ^~~~~~
In file included from solverstate.h:30,
                 from EGaussian.h:45,
                 from EGaussian.cpp:30:
/usr/include/clingo.h:1000:80: note:   initializing argument 1 of ‘bool clingo_assignment_is_total(clingo_assignment_t*)’
 CLINGO_VISIBILITY_DEFAULT bool clingo_assignment_is_total(clingo_assignment_t *assignment);
                                                           ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
In file included from EGaussian.h:45,
                 from EGaussian.cpp:30:
solverstate.h:179:9: error: ‘clingo_assignment_trail_size’ was not declared in this scope
         clingo_assignment_trail_size(values, &new_trail_size);
         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
solverstate.h:179:9: note: suggested alternative: ‘clingo_assignment_max_size’
         clingo_assignment_trail_size(values, &new_trail_size);
         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
         clingo_assignment_max_size
solverstate.h:184:17: error: ‘clingo_assignment_trail_at’ was not declared in this scope
                 clingo_assignment_trail_at(values, trail_at, &lit);
                 ^~~~~~~~~~~~~~~~~~~~~~~~~~
solverstate.h:184:17: note: suggested alternative: ‘clingo_assignment_is_total’
                 clingo_assignment_trail_at(values, trail_at, &lit);
                 ^~~~~~~~~~~~~~~~~~~~~~~~~~
                 clingo_assignment_is_total
solverstate.h:209:17: error: ‘clingo_assignment_trail_begin’ was not declared in this scope
                 clingo_assignment_trail_begin(values, level_at, &offset_start);
                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
solverstate.h:209:17: note: suggested alternative: ‘clingo_assignment_truth_value’
                 clingo_assignment_trail_begin(values, level_at, &offset_start);
                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                 clingo_assignment_truth_value
solverstate.h:210:17: error: ‘clingo_assignment_trail_end’ was not declared in this scope
                 clingo_assignment_trail_end(values, level_at, &offset_end);
                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~
solverstate.h:210:17: note: suggested alternative: ‘clingo_assignment_size’
                 clingo_assignment_trail_end(values, level_at, &offset_end);
                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~
                 clingo_assignment_size
solverstate.h:223:21: error: ‘clingo_assignment_trail_at’ was not declared in this scope
                     clingo_assignment_trail_at(values, trail_at, &lit);
                     ^~~~~~~~~~~~~~~~~~~~~~~~~~
solverstate.h:223:21: note: suggested alternative: ‘clingo_assignment_is_total’
                     clingo_assignment_trail_at(values, trail_at, &lit);
                     ^~~~~~~~~~~~~~~~~~~~~~~~~~
                     clingo_assignment_is_total
solverstate.h:258:17: error: ‘clingo_assignment_trail_begin’ was not declared in this scope
                 clingo_assignment_trail_begin(values, level_at, &offset_start);
                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
solverstate.h:258:17: note: suggested alternative: ‘clingo_assignment_truth_value’
                 clingo_assignment_trail_begin(values, level_at, &offset_start);
                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                 clingo_assignment_truth_value
solverstate.h:259:17: error: ‘clingo_assignment_trail_end’ was not declared in this scope
                 clingo_assignment_trail_end(values, level_at, &offset_end);
                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~
solverstate.h:259:17: note: suggested alternative: ‘clingo_assignment_size’
                 clingo_assignment_trail_end(values, level_at, &offset_end);
                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~
                 clingo_assignment_size
solverstate.h:272:21: error: ‘clingo_assignment_trail_at’ was not declared in this scope
                     clingo_assignment_trail_at(values, trail_at, &lit);
                     ^~~~~~~~~~~~~~~~~~~~~~~~~~
solverstate.h:272:21: note: suggested alternative: ‘clingo_assignment_is_total’
                     clingo_assignment_trail_at(values, trail_at, &lit);
                     ^~~~~~~~~~~~~~~~~~~~~~~~~~
                     clingo_assignment_is_total
solverstate.h: In member function ‘bool SolverState::is_assignment_conflicting(clingo_propagate_control_t*)’:
solverstate.h:342:47: error: invalid conversion from ‘const clingo_assignment_t*’ {aka ‘const clingo_assignment*’} to ‘clingo_assignment_t*’ {aka ‘clingo_assignment*’} [-fpermissive]
         return clingo_assignment_has_conflict(values);
                                               ^~~~~~
In file included from solverstate.h:30,
                 from EGaussian.h:45,
                 from EGaussian.cpp:30:
/usr/include/clingo.h:935:84: note:   initializing argument 1 of ‘bool clingo_assignment_has_conflict(clingo_assignment_t*)’
 CLINGO_VISIBILITY_DEFAULT bool clingo_assignment_has_conflict(clingo_assignment_t *assignment);
                                                               ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
In file included from EGaussian.h:45,
                 from EGaussian.cpp:30:
solverstate.h: In member function ‘bool SolverState::add_initial_clause(std::vector<int>)’:
solverstate.h:444:14: error: ‘clingo_propagate_init_add_clause’ was not declared in this scope
         if (!clingo_propagate_init_add_clause(cpi, new_clause, 1, &result)) { return false; }
              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
solverstate.h:444:14: note: suggested alternative: ‘clingo_propagate_init_add_watch’
         if (!clingo_propagate_init_add_clause(cpi, new_clause, 1, &result)) { return false; }
              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
              clingo_propagate_init_add_watch
solverstate.h:447:14: error: ‘clingo_propagate_init_propagate’ was not declared in this scope
         if (!clingo_propagate_init_propagate(cpi, &result)) { return false; }
              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
solverstate.h:447:14: note: suggested alternative: ‘clingo_propagate_control_propagate’
         if (!clingo_propagate_init_propagate(cpi, &result)) { return false; }
              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
              clingo_propagate_control_propagate
solverstate.h:455:43: error: invalid conversion from ‘const clingo_assignment_t*’ {aka ‘const clingo_assignment*’} to ‘clingo_assignment_t*’ {aka ‘clingo_assignment*’} [-fpermissive]
             clingo_assignment_truth_value(values, *start_literal, &value);
                                           ^~~~~~
In file included from solverstate.h:30,
                 from EGaussian.h:45,
                 from EGaussian.cpp:30:
/usr/include/clingo.h:985:83: note:   initializing argument 1 of ‘bool clingo_assignment_truth_value(clingo_assignment_t*, clingo_literal_t, clingo_truth_value_t*)’
 CLINGO_VISIBILITY_DEFAULT bool clingo_assignment_truth_value(clingo_assignment_t *assignment, clingo_literal_t literal, clingo_truth_value_t *value);
                                                              ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
In file included from EGaussian.h:45,
                 from EGaussian.cpp:30:
solverstate.h: In member function ‘bool SolverState::make_unsat()’:
solverstate.h:481:14: error: ‘clingo_propagate_init_add_clause’ was not declared in this scope
         if (!clingo_propagate_init_add_clause(cpi, new_clause, 0, &result)) { return false; }
              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
solverstate.h:481:14: note: suggested alternative: ‘clingo_propagate_init_add_watch’
         if (!clingo_propagate_init_add_clause(cpi, new_clause, 0, &result)) { return false; }
              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
              clingo_propagate_init_add_watch
solverstate.h:484:14: error: ‘clingo_propagate_init_propagate’ was not declared in this scope
         if (!clingo_propagate_init_propagate(cpi, &result)) { return false; }
              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
solverstate.h:484:14: note: suggested alternative: ‘clingo_propagate_control_propagate’
         if (!clingo_propagate_init_propagate(cpi, &result)) { return false; }
              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
              clingo_propagate_control_propagate
Makefile:57: recipe for target 'Obj/EGaussian.o' failed
make: *** [Obj/EGaussian.o] Error 1
I'm not sure how to proceed, any help is appreciated, thanks.
meelgroup / approxasp2 Goto Github PK

approxasp2's People

Contributors

Watchers

Forkers

approxasp2's Issues

Independent Support Generation

Installation and Usage

Failure on make command

Recommend Projects

React

Vue.js

Typescript

TensorFlow

Django

Laravel

D3

Recommend Topics

javascript

web

server

Machine learning

Visualization

Game

Recommend Org

Facebook

Microsoft

Google

Alibaba

D3

Tencent
