newptcai/beeencoder repository overview

BEE.jl⁠ is a Julia⁠ package using BEE (Ben-Gurion University Equi-propagation Encoder)⁠ by Amit Metodi⁠. This docker image contains all necessary binaries to use BEE.jl, including Julia, SWI-prolog⁠, BEE.

This image only supports Linux. Suppose that you are using Ubuntu, you can first install docker following this instruction⁠. Then you can try this image by

docker push newptcai/bee
docker run -it newptcai/bee

This will start a shell running in the image. To try BEE, run

cd bee && ./BumbleBEE beeSolver/bExamples/ex_sat.bee

Check the project's GitHub page⁠ for more information.