hexhex core issues - Githubissues

hexhex / core

DLVHEX solver: core system and plugin API

http://www.kr.tuwien.ac.at/research/systems/dlvhex/

GNU Lesser General Public License v2.1

24 stars 8 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

--dumpstats argument returns error

#37 FaseehCS opened 2 years ago
0
configure: error: cannot find boost/graph/adjacency_list.hpp

#36 hmqq opened 2 years ago
1
installation from PPA fail on modern ubuntu

#35 jblaszczyk opened 5 years ago
0
dlvhex benchmarking. Getting number of rules and atoms used?

#34 faseehahmad closed 6 years ago
5
script that analyze warnings is added

#33 bilaldinc closed 7 years ago
1
segmentation fault with python for closing the script file

#32 peschue opened 7 years ago
0
Warnings fix fix

#31 bilaldinc closed 7 years ago
0
Some Warnings are fixed

#30 bilaldinc closed 7 years ago
1
Some warnings are suppressed. Because they are not dangerous.

#29 bilaldinc closed 7 years ago
0
build of 2.5.0 fails on Ubuntu 16.04

#28 peschue opened 7 years ago
0
Arithmetic expressions

#27 credl opened 8 years ago
0
Add MF, GB and TE to copyright

#26 credl opened 8 years ago
0
Memory issue related to configuration options

#25 credl closed 8 years ago
6
python version (known to work only with 2.7)

#24 peschue opened 8 years ago
0
build failure: configure unable to determine boost major version

#23 wojtnar opened 8 years ago
11
Different answer sets with options --flpcheck=aufsm and --flpcheck=aufs

#22 tobiaskaminski closed 8 years ago
1
test weak7.hex fails

#21 peschue opened 8 years ago
0
test liberalsafety7.hex fails

#20 peschue opened 8 years ago
0
when configure does not find python and --enable-python is not used, the build still uses some python code and fails with linker error

#19 peschue opened 8 years ago
0
Error with rules containing aggregates with symbolic sets of different tuple sizes

#18 0xbb closed 9 years ago
2
extatom10.hex sometimes fails

#17 credl opened 9 years ago
0
Solver hangs when using Python External Atom Function

#16 0xbb opened 9 years ago
2
Generators and short hand syntax

#15 0xbb opened 9 years ago
2
Outdated Python Plugin Framework documentation

#14 0xbb closed 9 years ago
4
Python plugin interface for OS X - Linker problem

#13 credl closed 9 years ago
1
Anonymous variables in weak constraints don't work.

#12 ghost opened 11 years ago
0
configure script for OS X

#11 credl closed 11 years ago
1
Dynamic Herbrand Base

#10 peschue opened 11 years ago
0
BOOST_TEST_REPORT_LEVEL and BOOST_TEST_LOG_LEVEL do not work on OSX

#9 peschue opened 11 years ago
0
realize weak constraints/optimization in an efficient way

#8 peschue opened 11 years ago
0
add commandline option to define order of loading plugins (or plugin-plugin dependencies)

#7 peschue opened 11 years ago
0
Ground term comparison

#6 peschue opened 11 years ago
0
external atom arity check should give meaningful error message

#5 peschue opened 11 years ago
0
adjust wiki/NewDeveloper to git

#4 peschue opened 11 years ago
0
testcase agg3.hex fails with --solver=dlv (wellfounded limit)

#3 peschue closed 11 years ago
1
DLV safety

#2 credl opened 12 years ago
0
clang 3.0 sometimes segfaults with gringo/clasp

#1 peschue opened 12 years ago
0