newptcai/beeencoder.jl

A Julia interface to BEE (Ben-Gurion University Equi-propagation Encoder) for SAT problem

• 👋 Hi, I’m @newptcai an Assistant Professor of Duke Kunshan University.
• 👀 I’m interested in Math, Computer Science, Philosophy, Julia (programming language) and Effective Altruism.
• 🌱 I’m currently learning to live.
• 📫 How to reach me -- [email protected]

beeencoder.jl's Issues

docker file

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.