search

newptcai / BeeEncoder.jl

A Julia interface to BEE (Ben-Gurion University Equi-propagation Encoder) for SAT problem
MIT License
7 stars 1 forks source link

docker file #1

Open frasernutricia opened 3 years ago

frasernutricia commented 3 years ago

Hi - thanks a lot for this package! It is exactly what I've been looking for as I have really been struggling to build the bee versions - either the 2017 or 2013 versions at http://amit.metodi.me/research/bee/). It has been quite frustrating so having your docker image is very useful. I have a question - the docker file on your repo - when I run this on a clean ubuntu docker image (e.g. ubuntu:latest) I get the same errors as I've had previously - always at the line "make satSolvers", a long bunch of C++ errors. I would really like to be able to re-create a working bee environment in docker from scratch using a dockerfile. Can I ask whether this docker file still works for you (and if so which ubuntu image are you using?) thanks a lot! Fraser.

newptcai commented 3 years ago

Hi, I have not worked on this for a while, so I am not sure if it's still work. I will look into it later this week.

If you just compile bee though, you should contact the authors. I think they have a new version which works with new versions of SWI-prolog.

frasernutricia commented 3 years ago

thanks for the speedy reply :-) If the dockerfile still works for you that would be good to know. Before I came across your github repo I tried to build bee on ubuntu and debian with lots of other messing about (like building swi from source) but it looks like it's swi-pl version issue (and/or perhaps a g++ library issue). It's the conversion from constraints to dimacs which I would like to us. thanks again.