Skip to content

Issues: hexhex/core

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

26 Open 8 Closed
26 Open 8 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

./configure fails on Mac with boost-1.86.0
#38 opened Oct 2, 2024 by william-vw
--dumpstats argument returns error
#37 opened May 15, 2022 by FaseehCS
configure: error: cannot find boost/graph/adjacency_list.hpp
#36 opened Feb 18, 2022 by hmqq
1
installation from PPA fail on modern ubuntu
#35 opened Oct 21, 2018 by jblaszczyk
segmentation fault with python for closing the script file
#32 opened Jul 1, 2017 by peschue
build of 2.5.0 fails on Ubuntu 16.04
#28 opened Jun 6, 2017 by peschue
Arithmetic expressions enhancement
#27 opened Aug 22, 2016 by credl
Add MF, GB and TE to copyright
#26 opened Aug 20, 2016 by credl
python version (known to work only with 2.7)
#24 opened Apr 19, 2016 by peschue
build failure: configure unable to determine boost major version
#23 opened Jan 23, 2016 by wojtnar
11
test weak7.hex fails
#21 opened Oct 21, 2015 by peschue
test liberalsafety7.hex fails
#20 opened Oct 21, 2015 by peschue
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 Oct 21, 2015 by peschue
extatom10.hex sometimes fails
#17 opened Jul 9, 2015 by credl
Solver hangs when using Python External Atom Function
#16 opened Jun 22, 2015 by 0xbb
2
Generators and short hand syntax
#15 opened Jun 22, 2015 by 0xbb
2
Anonymous variables in weak constraints don't work.
#12 opened Jun 20, 2013 by ghost
Dynamic Herbrand Base enhancement
#10 opened Jan 4, 2013 by peschue
BOOST_TEST_REPORT_LEVEL and BOOST_TEST_LOG_LEVEL do not work on OSX
#9 opened Jan 4, 2013 by peschue
realize weak constraints/optimization in an efficient way enhancement
#8 opened Jan 4, 2013 by peschue
add commandline option to define order of loading plugins (or plugin-plugin dependencies) enhancement
#7 opened Jan 4, 2013 by peschue
Ground term comparison
#6 opened Jan 4, 2013 by peschue
external atom arity check should give meaningful error message enhancement
#5 opened Dec 12, 2012 by peschue
adjust wiki/NewDeveloper to git
#4 opened Oct 17, 2012 by peschue
DLV safety
#2 opened Sep 4, 2012 by credl
ProTip! Updated in the last three days: updated:>2024-11-12.