# Just wrote a package for playing with SAT solvers

**URL:** <https://discourse.julialang.org/t/just-wrote-a-package-for-playing-with-sat-solvers/37822>\
**Category:** Optimization (Mathematical)\
**Tags:** package, announcement, math\
**Created:** [April 18, 2020, 9:37pm UTC](https://discourse.julialang.org/t/just-wrote-a-package-for-playing-with-sat-solvers/37822 "2020-04-18T21:37:03Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![Xing\_Shi\_Cai](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/xing_shi_cai/32/14128_2.png) [@Xing\_Shi\_Cai](https://discourse.julialang.org/u/Xing_Shi_Cai)\
**Post date:** [April 18, 2020, 9:37pm UTC](https://discourse.julialang.org/t/just-wrote-a-package-for-playing-with-sat-solvers/37822/1 "2020-04-18T21:37:03Z")

</div>

Hi everyone, I just put a small package `BEE.jl` on github. If you want to play with SAT solvers, this might be helpful.

> **[GitHub - newptcai/BEE.jl: A Julia interface to BEE (Ben-Gurion University...](https://github.com/newptcai/BEE.jl)**
>
> A Julia interface to BEE (Ben-Gurion University Equi-propagation Encoder) - GitHub - newptcai/BEE.jl: A Julia interface to BEE (Ben-Gurion University Equi-propagation Encoder)

---

<div class="post-metadata">

**Author:** ![Xing\_Shi\_Cai](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/xing_shi_cai/32/14128_2.png) [@Xing\_Shi\_Cai](https://discourse.julialang.org/u/Xing_Shi_Cai)\
**Post date:** [April 21, 2020, 2:01pm UTC](https://discourse.julialang.org/t/just-wrote-a-package-for-playing-with-sat-solvers/37822/2 "2020-04-21T14:01:10Z")

</div>

Since it’s bit difficult to compile and install BEE itself, I just created a docker image for this package – [Docker Hub](https://hub.docker.com/r/newptcai/bee)

It’s about 600 MB. I cannot make it any smaller since Julia itself has 400MB.

---

<div class="post-metadata">

**Author:** ![Xing\_Shi\_Cai](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/xing_shi_cai/32/14128_2.png) [@Xing\_Shi\_Cai](https://discourse.julialang.org/u/Xing_Shi_Cai)\
**Post date:** [April 28, 2020, 1:40pm UTC](https://discourse.julialang.org/t/just-wrote-a-package-for-playing-with-sat-solvers/37822/3 "2020-04-28T13:40:10Z")

</div>

Package renamed to BeeEncoder.ji.

It’s in the registry now.

[https://juliahub.com/ui/Packages/BeeEncoder/8OrN6/0.0.1](https://juliahub.com/ui/Packages/BeeEncoder/8OrN6/0.0.1)