Just wrote a package for playing with SAT solvers

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


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

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

1 Like

Package renamed to BeeEncoder.ji.

It’s in the registry now.


1 Like