hexhex/core

Issues

• --dumpstats argument returns error

  #37 opened 2 years ago by FaseehCS
  0

• configure: error: cannot find boost/graph/adjacency_list.hpp

  #36 opened 3 years ago by hmqq
  1

• build failure: configure unable to determine boost major version

  #23 opened 9 years ago by wojtnar
  11

• installation from PPA fail on modern ubuntu

  #35 opened 6 years ago by jblaszczyk
  0

• dlvhex benchmarking. Getting number of rules and atoms used?

  #34 opened 7 years ago by faseehahmad
  5

• segmentation fault with python for closing the script file

  #32 opened 7 years ago by peschue
  0

• build of 2.5.0 fails on Ubuntu 16.04

  #28 opened 7 years ago by peschue
  0

• Arithmetic expressions

  #27 opened 8 years ago by credl
  0

• Add MF, GB and TE to copyright

  #26 opened 8 years ago by credl
  0

• Memory issue related to configuration options

  #25 opened 8 years ago by credl
  6

• python version (known to work only with 2.7)

  #24 opened 8 years ago by peschue
  0

• Different answer sets with options --flpcheck=aufsm and --flpcheck=aufs

  #22 opened 9 years ago by tobiaskaminski
  1

• test liberalsafety7.hex fails

  #20 opened 9 years ago by peschue
  0

• test weak7.hex fails

  #21 opened 9 years ago by peschue
  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 opened 9 years ago by peschue
  0

• Error with rules containing aggregates with symbolic sets of different tuple sizes

  #18 opened 9 years ago by 0xbb
  2

• extatom10.hex sometimes fails

  #17 opened 9 years ago by credl
  0

• Solver hangs when using Python External Atom Function

  #16 opened 9 years ago by 0xbb
  2

• Generators and short hand syntax

  #15 opened 9 years ago by 0xbb
  2

• Outdated Python Plugin Framework documentation

  #14 opened 9 years ago by 0xbb
  4

• Python plugin interface for OS X - Linker problem

  #13 opened 10 years ago by credl
  1

• Anonymous variables in weak constraints don't work.

  #12 opened 11 years ago
  0

• testcase agg3.hex fails with --solver=dlv (wellfounded limit)

  #3 opened 11 years ago by peschue
  1

• configure script for OS X

  #11 opened 11 years ago by credl
  1

• Dynamic Herbrand Base

  #10 opened 12 years ago by peschue
  0

• BOOST_TEST_REPORT_LEVEL and BOOST_TEST_LOG_LEVEL do not work on OSX

  #9 opened 12 years ago by peschue
  0

• realize weak constraints/optimization in an efficient way

  #8 opened 12 years ago by peschue
  0

• add commandline option to define order of loading plugins (or plugin-plugin dependencies)

  #7 opened 12 years ago by peschue
  0

• Ground term comparison

  #6 opened 12 years ago by peschue
  0

• external atom arity check should give meaningful error message

  #5 opened 12 years ago by peschue
  0

• adjust wiki/NewDeveloper to git

  #4 opened 12 years ago by peschue
  0

• DLV safety

  #2 opened 12 years ago by credl
  0

• clang 3.0 sometimes segfaults with gringo/clasp

  #1 opened 12 years ago by peschue
  0