Just wrote a package for playing with SAT solvers

Specific Domains Optimization (Mathematical)
, ,
1

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

9 Likes
2

Since it’s bit difficult to compile and install BEE itself, I just created a docker image for this package – Docker Hub

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

1 Like
3

Package renamed to BeeEncoder.ji.

It’s in the registry now.

https://juliahub.com/ui/Packages/BeeEncoder/8OrN6/0.0.1

1 Like